1.1 --- a/test/Tools/isac/Test_Code/test-code.sml	Fri Jul 16 07:45:06 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Code/test-code.sml	Sat Jul 17 14:05:28 2021 +0200
     1.3 @@ -47,6 +47,6 @@
     1.4  
     1.5  if p = ([], Res) andalso f2str t = "[x = 1]" andalso
     1.6    eq_set op = (get_ctxt pt p |> get_assumptions |> map UnparseC.term,
     1.7 -    ["precond_rootmet x", "matches (?a = ?b) (-1 + x = 0)", "x = 1"])
     1.8 +    ["precond_rootmet x", "matches (?a = ?b) (- 1 + x = 0)", "x = 1"])
     1.9  then case nxt of End_Proof' => () | _ => error "fun me_trace all Minisubpbl CHANGED 1"
    1.10  else error "fun me_trace all Minisubpbl CHANGED 2";