1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Thu Apr 09 12:03:14 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Thu Apr 09 17:13:17 2020 +0200
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5  val  Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv") = tac;
     1.6  
     1.7 -if p = ([3, 1], Res) andalso (get_obj g_res pt (fst p) |> term2str) = "x = 0 + -1 * -1"
     1.8 +if p = ([3, 1], Res) andalso (get_obj g_res pt (fst p) |> UnparseC.term2str) = "x = 0 + -1 * -1"
     1.9  then case tac of Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv") => ()
    1.10    | _ => error "Minisubplb/200-start-method-NEXT_STEP.sml CHANGED 1"
    1.11  else error "Minisubplb/200-start-method-NEXT_STEP.sml CHANGED 2"