1.1 --- a/test/Tools/isac/Interpret/script.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -139,7 +139,7 @@
     1.4  case nxt of (_, Apply_Method ["IntegrierenUndKonstanteBestimmen"]) => ()
     1.5  	  | _ => error "script.sml, doesnt find Substitute #2";
     1.6  (* ERROR: caused by f2str f *)
     1.7 -trace_rewrite:=true;
     1.8 +trace_rewrite := false;
     1.9  
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f(*------------------------*);
    1.11  trace_rewrite:=false;