1.1 --- a/test/Tools/isac/Minisubpbl/790-complete-NEXT_STEP.sml	Mon Apr 19 19:55:31 2021 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/790-complete-NEXT_STEP.sml	Mon Apr 19 20:12:53 2021 +0200
     1.3 @@ -30,7 +30,7 @@
     1.4  (*[3], Res*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*\<rightarrow>Check_Postcond ["LINEAR", "univariate", "equation", "test"]*)
     1.5  
     1.6  ((get_obj g_result pt (fst p)) |> snd |> UnparseC.terms) = "[]";(*isa*)
     1.7 -((get_obj g_result pt (fst p)) |> snd |> UnparseC.terms) = "[\"TermC.matches (?a = ?b) (-1 + x = 0)\"]";(*REP*)
     1.8 +((get_obj g_result pt (fst p)) |> snd |> UnparseC.terms) = "[\"matches (?a = ?b) (-1 + x = 0)\"]";(*REP*)
     1.9  (* there are questionable assumptions either ---------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^*)
    1.10  
    1.11  (*[4], Res*)val (_, ([(tac, _, _)], _, (pt, p))) = Step.do_next p ((pt, e_pos'), []);(*Check_elementwise "Assumptions"*)