1.1 --- a/test/Tools/isac/ProgLang/tools.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/tools.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  "----------- fun matchsub ----------------------------------------";
     1.5  "----------- fun matchsub ----------------------------------------";
     1.6  if matchsub thy (str2term "(a + (b + c))") (str2term "?x + (?y + ?z)")
     1.7 -then () else raise error "tools.sml matchsub a + (b + c)";
     1.8 +then () else error "tools.sml matchsub a + (b + c)";
     1.9  
    1.10  if matchsub thy (str2term "(a + (b + c)) + d") (str2term "?x + (?y + ?z)")
    1.11 -then () else raise error "tools.sml matchsub (a + (b + c)) + d";
    1.12 +then () else error "tools.sml matchsub (a + (b + c)) + d";