diff -r 0831a4a6ec8a -r c3f399ce32af test/Tools/isac/Interpret/script.sml
--- a/test/Tools/isac/Interpret/script.sml	Mon Sep 02 15:17:34 2013 +0200
+++ b/test/Tools/isac/Interpret/script.sml	Mon Sep 02 16:16:08 2013 +0200
@@ -139,7 +139,7 @@
 case nxt of (_, Apply_Method ["IntegrierenUndKonstanteBestimmen"]) => ()
 	  | _ => error "script.sml, doesnt find Substitute #2";
 (* ERROR: caused by f2str f *)
-trace_rewrite:=true;
+trace_rewrite := false;
 
 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f(*------------------------*);
 trace_rewrite:=false;