diff -r 43e858cf9567 -r 52e8e77920b9 test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Mon Jan 09 16:40:54 2023 +0100
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Tue Jan 10 10:01:05 2023 +0100
@@ -662,7 +662,7 @@
 spec;
 writeln (I_Model.to_string ctxt probl);
 writeln (I_Model.to_string ctxt meth);
-writeln (Istate.string_of (fst istate));
+writeln (Istate.string_of ctxt (fst istate));
 
 refFormula 1 ([],Pbl) (*--> correct CalcHead*);
  (*081016 NOT necessary (but leave it in Java):*)
@@ -674,7 +674,7 @@
 (*val p = ([], Pbl)*)
 val PblObj {probl, meth, spec, fmz, loc, ...} = get_obj I pt [];
 val (SOME istate, NONE) = loc;
-(*default_print_depth 5;*) writeln (Istate.string_of (fst istate));  (*default_print_depth 3;*)
+(*default_print_depth 5;*) writeln (Istate.string_of ctxt (fst istate));  (*default_print_depth 3;*)
 (*Pstate ([],
  [], NONE,
  ??.empty, Sundef, false)*)
@@ -719,7 +719,7 @@
 val ((pt,_),_) = States.get_calc 1;
 val PblObj {probl, meth, spec, fmz, loc, ...} = get_obj I pt [];
 val (SOME istate, NONE) = loc;
-(*default_print_depth 5;*) writeln (Istate.string_of (fst istate));  (*default_print_depth 3;*)
+(*default_print_depth 5;*) writeln (Istate.string_of ctxt (fst istate));  (*default_print_depth 3;*)
 (*Pstate ([],
  [], NONE,
  ??.empty, Sundef, false)*)