1.1 --- a/test/Tools/isac/MathEngine/solve.sml	Sat Feb 04 16:49:08 2023 +0100
     1.2 +++ b/test/Tools/isac/MathEngine/solve.sml	Sat Feb 04 17:00:25 2023 +0100
     1.3 @@ -53,10 +53,10 @@
     1.4  getTactic 1 ([6,1,1], Frm); (*WN130909 <ERROR> syserror in getTactic </ERROR>*)
     1.5  val ((pt,_),_) = States.get_calc 1; Test_Tool.show_pt pt;
     1.6  val (Form form, SOME tac, asm) = ME_Misc.pt_extract ctxt (pt, ([6], Res));
     1.7 -case (UnparseC.term_in_ctxt @{context} form, tac, UnparseC.asms_test @{context} asm) of
     1.8 +case (UnparseC.term @{context} form, tac, UnparseC.asms_test @{context} asm) of
     1.9      ("1 / 2", Check_Postcond ["rational", "simplification"], []) => ()
    1.10    | _ => error "solve.sml: interSteps on norm_Rational 2";
    1.11  get_obj g_res pt [];
    1.12  val (t, asm) = get_obj g_result pt [];
    1.13 -if map (UnparseC.term_in_ctxt @{context}) asm = []
    1.14 +if map (UnparseC.term @{context}) asm = []
    1.15  then () else error "solve.sml: interSteps on norm_Rational 2, asms";