1.1 --- a/test/Tools/isac/ProgLang/listC.sml	Sat Jul 17 14:05:28 2021 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/listC.sml	Sun Jul 18 16:20:32 2021 +0200
     1.3 @@ -72,9 +72,9 @@
     1.4  (* now the argument "(3 + - 1)" etc needs to be evaluated in the assumption of NTH_CONS *)
     1.5  val t = TermC.str2term "NTH 3 [a,b,c,d,e]";
     1.6  TermC.atomty t;
     1.7 -Rewrite.trace_on := false;
     1.8 +Rewrite.trace_on := false; (*true false*)
     1.9  val SOME (t', _) = rewrite_set_ thy false prog_expr t;
    1.10 -Rewrite.trace_on := false;
    1.11 +Rewrite.trace_on := false; (*true false*)
    1.12  if UnparseC.term t' = "c" then () 
    1.13  else error "NTH 3 [a,b,c,d,e] = c ..changed";
    1.14