1.1 --- a/test/Tools/isac/MathEngine/states.sml	Sat Feb 04 16:49:08 2023 +0100
     1.2 +++ b/test/Tools/isac/MathEngine/states.sml	Sat Feb 04 17:00:25 2023 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4        fun check i = let
     1.5                val ((pt, p), _) = States.get_calc i;                          (*retrieve result, e.g. no.1*)
     1.6              in
     1.7 -              if p = ([], Res) andalso UnparseC.term_in_ctxt @{context} (get_obj g_res pt (fst p)) =(*check result correct*)
     1.8 +              if p = ([], Res) andalso UnparseC.term @{context} (get_obj g_res pt (fst p)) =(*check result correct*)
     1.9                  "y x =\n-6 * q_0 * L \<up> 2 / (-24 * EI) * x \<up> 2 +\n4 * L * q_0 / " ^ 
    1.10                  "(-24 * EI) * x \<up> 3 +\n-1 * q_0 / (-24 * EI) * x \<up> 4" 
    1.11                  then ()