1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -237,7 +237,7 @@
     1.4      (FormKF
     1.5         (~1,EdUndef,1,Nundef,
     1.6          "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x ^^^ 2 + 5 * x)"))
     1.7 -then () else raise error "behaviour in root-expl. Free_Solve changed";
     1.8 +then () else error "behaviour in root-expl. Free_Solve changed";
     1.9  writeln (pr_ptree pr_short pt);
    1.10  ---------------------------------meNEW raises exception with not-locatable*)
    1.11  
    1.12 @@ -317,29 +317,29 @@
    1.13  
    1.14   val tacs = sel_rules pt ([],Pbl);
    1.15   if tacs = [Apply_Method ["Test", "squ-equ-test-subpbl1"]] then ()
    1.16 - else raise error "script.sml: diff.behav. in sel_rules ([],Pbl)";
    1.17 + else error "script.sml: diff.behav. in sel_rules ([],Pbl)";
    1.18  
    1.19   val tacs = sel_rules pt ([1],Res);
    1.20   if tacs = [Rewrite_Set "norm_equation", Rewrite_Set "Test_simplify",
    1.21        Subproblem ("Test.thy", ["linear", "univariate", "equation", "test"]),
    1.22        Check_elementwise "Assumptions"] then ()
    1.23 - else raise error "script.sml: diff.behav. in sel_rules ([1],Res)";
    1.24 + else error "script.sml: diff.behav. in sel_rules ([1],Res)";
    1.25  
    1.26   val tacs = sel_rules pt ([3],Pbl);
    1.27   if tacs = [Apply_Method ["Test", "solve_linear"]] then ()
    1.28 - else raise error "script.sml: diff.behav. in sel_rules ([3],Pbl)";
    1.29 + else error "script.sml: diff.behav. in sel_rules ([3],Pbl)";
    1.30  
    1.31   val tacs = sel_rules pt ([3,1],Res);
    1.32   if tacs = [Rewrite_Set_Inst (["(bdv, x)"], "isolate_bdv"),
    1.33        Rewrite_Set "Test_simplify"] then ()
    1.34 - else raise error "script.sml: diff.behav. in sel_rules ([3,1],Res)";
    1.35 + else error "script.sml: diff.behav. in sel_rules ([3,1],Res)";
    1.36  
    1.37   val tacs = sel_rules pt ([3],Res);
    1.38   if tacs = [Rewrite_Set "norm_equation", Rewrite_Set "Test_simplify",
    1.39        Subproblem ("Test.thy", ["linear", "univariate", "equation", "test"]),
    1.40        Check_elementwise "Assumptions"] then ()
    1.41 - else raise error "script.sml: diff.behav. in sel_rules ([3],Res)";
    1.42 + else error "script.sml: diff.behav. in sel_rules ([3],Res)";
    1.43  
    1.44   val tacs = (sel_rules pt ([],Res)) handle PTREE str => [Tac str];
    1.45   if tacs = [Tac "no tactics applicable at the end of a calculation"] then ()
    1.46 - else raise error "script.sml: diff.behav. in sel_rules ([],Res)";
    1.47 + else error "script.sml: diff.behav. in sel_rules ([],Res)";