1.1 --- a/src/Tools/isac/Interpret/step-solve.sml	Sat Aug 06 15:57:46 2022 +0200
     1.2 +++ b/src/Tools/isac/Interpret/step-solve.sml	Sat Aug 06 17:36:59 2022 +0200
     1.3 @@ -113,7 +113,7 @@
     1.4            		  | _ => raise ERROR "inform: uncovered case of get_met"
     1.5            	  val {env, ...} = Ctree.get_istate_LI pt pos |> Istate.the_pstate
     1.6            	in
     1.7 -          	  case Error_Pattern.check_for (f_pred, f_in) (prog, env) (errpats, nrls) of
     1.8 +          	  case Error_Pattern.check_for (Ctree.get_ctxt pt pos) (f_pred, f_in) (prog, env) (errpats, nrls) of
     1.9            	    SOME errpatID => ("error pattern #" ^ errpatID ^ "#", Calc.state_empty_post)
    1.10            	  | NONE => ("no derivation found", Calc.state_empty_post)
    1.11              end