1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Mon Jan 09 16:40:54 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Tue Jan 10 10:01:05 2023 +0100
     1.3 @@ -662,7 +662,7 @@
     1.4  spec;
     1.5  writeln (I_Model.to_string ctxt probl);
     1.6  writeln (I_Model.to_string ctxt meth);
     1.7 -writeln (Istate.string_of (fst istate));
     1.8 +writeln (Istate.string_of ctxt (fst istate));
     1.9  
    1.10  refFormula 1 ([],Pbl) (*--> correct CalcHead*);
    1.11   (*081016 NOT necessary (but leave it in Java):*)
    1.12 @@ -674,7 +674,7 @@
    1.13  (*val p = ([], Pbl)*)
    1.14  val PblObj {probl, meth, spec, fmz, loc, ...} = get_obj I pt [];
    1.15  val (SOME istate, NONE) = loc;
    1.16 -(*default_print_depth 5;*) writeln (Istate.string_of (fst istate));  (*default_print_depth 3;*)
    1.17 +(*default_print_depth 5;*) writeln (Istate.string_of ctxt (fst istate));  (*default_print_depth 3;*)
    1.18  (*Pstate ([],
    1.19   [], NONE,
    1.20   ??.empty, Sundef, false)*)
    1.21 @@ -719,7 +719,7 @@
    1.22  val ((pt,_),_) = States.get_calc 1;
    1.23  val PblObj {probl, meth, spec, fmz, loc, ...} = get_obj I pt [];
    1.24  val (SOME istate, NONE) = loc;
    1.25 -(*default_print_depth 5;*) writeln (Istate.string_of (fst istate));  (*default_print_depth 3;*)
    1.26 +(*default_print_depth 5;*) writeln (Istate.string_of ctxt (fst istate));  (*default_print_depth 3;*)
    1.27  (*Pstate ([],
    1.28   [], NONE,
    1.29   ??.empty, Sundef, false)*)