1.1 --- a/src/Tools/isac/Frontend/messages.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Frontend/messages.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -39,5 +39,5 @@
     1.4  
     1.5  (*1000 general*)
     1.6  
     1.7 -  | msg2str i l = raise error ("no message for No. "^
     1.8 +  | msg2str i l = error ("no message for No. "^
     1.9  			string_of_int i^" "^language2str l);