1.1 --- a/test/Tools/isac/Test_Code/test-code.sml Mon Apr 19 19:55:31 2021 +0200
1.2 +++ b/test/Tools/isac/Test_Code/test-code.sml Mon Apr 19 20:12:53 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", "TermC.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";