diff -r 95d956108461 -r 460c24a6a6ba src/Tools/isac/Frontend/messages.sml
--- a/src/Tools/isac/Frontend/messages.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/src/Tools/isac/Frontend/messages.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -39,5 +39,5 @@
 
 (*1000 general*)
 
-  | msg2str i l = raise error ("no message for No. "^
+  | msg2str i l = error ("no message for No. "^
 			string_of_int i^" "^language2str l);