diff -r 638d02a9a96a -r e6e7a9b9ced7 test/Tools/isac/ProgLang/evaluate.sml
--- a/test/Tools/isac/ProgLang/evaluate.sml	Tue Jun 01 15:41:23 2021 +0200
+++ b/test/Tools/isac/ProgLang/evaluate.sml	Sat Jul 03 16:21:07 2021 +0200
@@ -167,8 +167,7 @@
  val t = (Thm.term_of o the o (TermC.parse thy)) "(3+1+2*x)/2";
 case rewrite_set_ thy false rls t of
   SOME (t', _) => 
-    if UnparseC.term t' = "x + (1 / 2 + 3 / 2)" (*ERROR should be : 2 * x  SEE ABOVE*) then ()
-    else error "rewrite_set_ (3+1+2*x)/2 changed 1"
+    if UnparseC.term t' = "x + 2" then () else error "rewrite_set_ (3+1+2*x)/2 changed 1"
 | _ => error "rewrite_set_ (3+1+2*x)/2 changed 2";
 
  Rewrite.trace_on:=false; (*=true3.6.03*)