diff -r 95d956108461 -r 460c24a6a6ba test/Tools/isac/xmlsrc/thy-hierarchy.sml
--- a/test/Tools/isac/xmlsrc/thy-hierarchy.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/test/Tools/isac/xmlsrc/thy-hierarchy.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -134,7 +134,7 @@
 case get_the ["IsacKnowledge", "Test", "Rulesets", "Test_simplify"] of
     Hrls {guh = "thy_Test-rls-Test_simplify",thy_rls = ("Test", _),
           mathauthors = _,coursedesign = _} => ()
-  | _ => raise error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]";
+  | _ => error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]";
 *)
 
 
@@ -194,12 +194,12 @@
 case get_the ["IsacKnowledge", "Biegelinie", "Theorems"] of
    Html {mathauthors =
 	 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>()
- | _ => raise error "thy-hierarchy.sml: store_isa overwritten";
+ | _ => error "thy-hierarchy.sml: store_isa overwritten";
 
 case get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"] of
    Hthm {mathauthors =
 	 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>()
- | _ => raise error "thy-hierarchy.sml: store_isa overwritten";
+ | _ => error "thy-hierarchy.sml: store_isa overwritten";
 
 (*
 print_depth 7;