diff -r 95d956108461 -r 460c24a6a6ba test/Tools/isac/ProgLang/tools.sml
--- a/test/Tools/isac/ProgLang/tools.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/test/Tools/isac/ProgLang/tools.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -21,7 +21,7 @@
 "----------- fun matchsub ----------------------------------------";
 "----------- fun matchsub ----------------------------------------";
 if matchsub thy (str2term "(a + (b + c))") (str2term "?x + (?y + ?z)")
-then () else raise error "tools.sml matchsub a + (b + c)";
+then () else error "tools.sml matchsub a + (b + c)";
 
 if matchsub thy (str2term "(a + (b + c)) + d") (str2term "?x + (?y + ?z)")
-then () else raise error "tools.sml matchsub (a + (b + c)) + d";
+then () else error "tools.sml matchsub (a + (b + c)) + d";