1.1 --- a/test/Tools/isac/MathEngBasic/rewrite.sml	Tue May 19 12:33:35 2020 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Wed May 20 12:52:09 2020 +0200
     1.3 @@ -368,7 +368,7 @@
     1.4  
     1.5  val subst = Pattern.match thy (pat, t) (Vartab.empty, Vartab.empty);
     1.6  val asms = map (Envir.subst_term subst) pres;
     1.7 -if UnparseC.terms asms = "[\"a + b is_expanded\",\"c is_expanded\"]"
     1.8 +if UnparseC.terms asms = "[\"a + b is_expanded\", \"c is_expanded\"]"
     1.9  then () else error "rewrite.sml: prepat cancel subst";
    1.10  if ([], true) = eval__true thy 0 asms [] erls
    1.11  then () else error "rewrite.sml: prepat cancel eval__true";