1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Mon Dec 11 12:14:28 2023 +0100
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Mon Dec 11 16:12:53 2023 +0100
     1.3 @@ -725,9 +725,9 @@
     1.4   = fst istate |> Istate.string_of ctxt
     1.5  val ("Isac_Knowledge", ["derivative_of", "function"], ["diff", "differentiate_on_R"]) = spec;
     1.6  val "[\n(1, [1], true ,#Given, (Cor_POS functionTerm (x \<up> 2 + x + 1) , pen2str, Position.T)), \n(2, [1], true ,#Given, (Cor_POS differentiateFor x , pen2str, Position.T)), \n(3, [1], true ,#Find, (Cor_POS derivative f_'_f , pen2str, Position.T))]"
     1.7 - = probl |> I_Model.OLD_to_POS  |> I_Model.to_string_POS ctxt
     1.8 + = probl |> I_Model.to_string_POS ctxt
     1.9  val "[\n(1, [1], true ,#Given, (Cor_POS functionTerm (x \<up> 2 + x + 1) , pen2str, Position.T)), \n(2, [1], true ,#Given, (Cor_POS differentiateFor x , pen2str, Position.T)), \n(3, [1], true ,#Find, (Cor_POS derivative f_'_f , pen2str, Position.T))]"
    1.10 - = meth |> I_Model.OLD_to_POS  |> I_Model.to_string_POS ctxt;
    1.11 + = meth |> I_Model.to_string_POS ctxt;
    1.12  
    1.13  (*7>*)fetchProposedTactic 1 (*--> Apply_Method*);
    1.14  autoCalculate 1 (Steps 1);