diff -r 95d956108461 -r 460c24a6a6ba test/Tools/isac/OLDTESTS/tacis.sml
--- a/test/Tools/isac/OLDTESTS/tacis.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/test/Tools/isac/OLDTESTS/tacis.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -76,7 +76,7 @@
  val ip = get_pos 1 1;
  val (Form f, tac, asms) = pt_extract (pt, p);
  if term2str f = "[x = 1]"andalso p = ([],Res) andalso ip = ([],Res)then()else 
- raise error "tacis.sml: diff.behav. in fetchProposedTactic autoCalculate";
+ error "tacis.sml: diff.behav. in fetchProposedTactic autoCalculate";
 
 
 
@@ -95,7 +95,7 @@
  setNextTactic 1 (Rewrite_Set "norm_equation");
  val (_, tacis) = get_calc 1;
  case tacis of [(Rewrite_Set "norm_equation",_,(([1], Res), _))] => () | _ =>
- raise error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (1)"; 
+ error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (1)"; 
  autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*x + 1 + -1 * 2 = 0*);
 
  setNextTactic 1 (Rewrite_Set "Test_simplify");
@@ -124,7 +124,7 @@
  val (_, tacis) = get_calc 1;
  case tacis of 
      [((Apply_Method ["Test","solve_linear"],_,(([3,1], Frm), _)))] =>() | _ =>
- raise error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (2)"; 
+ error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (2)"; 
  (*#######################################################################*)
  autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*-1 + x = 0*);
 
@@ -149,7 +149,7 @@
  
  (*case tacis of      040609 suddenly ???!
      [((Check_Postcond _, _,(([], Res), _)))] =>() | _ =>
- raise error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (3)"; 
+ error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (3)"; 
  #######################################################################*)
  autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*[x = 1]*);
 
@@ -157,7 +157,7 @@
  val ip = get_pos 1 1;
  val (Form f, tac, asms) = pt_extract (pt, p);
  if term2str f = "[x = 1]"andalso p = ([],Res) andalso ip = ([],Res)then()else 
- raise error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (4)"; 
+ error "tacis.sml: diff.behav. in setNextTactic -> autoCalculate (4)";