1.1 --- a/test/Tools/isac/ProgLang/scrtools.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/scrtools.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4  
     1.5  val ((pt,p),_) = get_calc 1; show_pt pt;
     1.6  if existpt' ([1], Frm) pt then ()
     1.7 -else raise error "scrtools.sml: test-script test_interSteps_1 doesnt work";
     1.8 +else error "scrtools.sml: test-script test_interSteps_1 doesnt work";
     1.9  
    1.10  
    1.11  "-------- test the same called by interSteps norm_Poly -----------";
    1.12 @@ -108,7 +108,7 @@
    1.13  interSteps 1 ([1], Res);
    1.14  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.15  if existpt' ([1,4], Res) pt then ()
    1.16 -else raise error  "scrtools.sml: auto-generated norm_Poly doesnt work";
    1.17 +else error  "scrtools.sml: auto-generated norm_Poly doesnt work";
    1.18  
    1.19  
    1.20  
    1.21 @@ -174,7 +174,7 @@
    1.22  val (Form form, SOME tac, asm) = pt_extract (pt, ([2], Res));
    1.23  case (term2str form, tac, terms2strs asm) of
    1.24      ("a", Check_Postcond ["polynomial", "simplification"], []) => ()
    1.25 -  | _ => raise error "scrtools.sml: auto-generated norm_Rational doesnt work";
    1.26 +  | _ => error "scrtools.sml: auto-generated norm_Rational doesnt work";
    1.27  
    1.28  
    1.29  
    1.30 @@ -186,7 +186,7 @@
    1.31  writeln(term2str auto_script);
    1.32  
    1.33  if contain_bdv (get_rules rls) then ()
    1.34 -else raise error "scrtools.sml: contain_bdv doesnt work for 'integration'";
    1.35 +else error "scrtools.sml: contain_bdv doesnt work for 'integration'";
    1.36  
    1.37  two_scr_arg auto_script;
    1.38  init_istate (Rewrite_Set_Inst (["(bdv, x)"], "integration_rules"))