1.1 --- a/test/Tools/isac/Knowledge/biegelinie-1.sml	Sat Jul 17 14:05:28 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-1.sml	Sun Jul 18 16:20:32 2021 +0200
     1.3 @@ -82,8 +82,7 @@
     1.4  if UnparseC.term x1__ = "0" then ()
     1.5  else error "biegelinie.sml simplify argument_in (lhs (M_b 0 = 0)";
     1.6  
     1.7 -(** )Rewrite.trace_on := true;( **)
     1.8 -(**)Rewrite.trace_on := false;(**)
     1.9 +Rewrite.trace_on := false; (*true false*)
    1.10  
    1.11  "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----";
    1.12  "----------- SubProblem (_,[setzeRandbedingungen,Biegelinien] ----";