1.1 --- a/src/Tools/isac/MathEngine/mathengine-stateless.sml	Thu Dec 07 11:54:42 2023 +0100
     1.2 +++ b/src/Tools/isac/MathEngine/mathengine-stateless.sml	Thu Dec 07 16:14:32 2023 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4          Ctree.PblObj {origin = (_, _, hdf), spec, ...} => (hdf, spec)
     1.5        | Ctree.PrfObj _ => raise ERROR "Math_Engine.set_method: case 2 uncovered"
     1.6    in
     1.7 -    (pt, (complete, Pos.Met, hdf, I_Model.OLD_to_POS mits, where_, spec) : SpecificationC.T)
     1.8 +    (pt, (complete, Pos.Met, hdf, mits, where_, spec) : SpecificationC.T)
     1.9    end
    1.10  
    1.11  (* specify a new problem; WN0512 impl.incomplete, see 'nxt_specif (Specify_Problem ' *)
    1.12 @@ -59,7 +59,7 @@
    1.13          Ctree.PblObj {origin = (_, _, hdf), spec, ...} => (hdf, spec)
    1.14        | Ctree.PrfObj _ => raise ERROR "set_problem: case 2 uncovered"
    1.15    in
    1.16 -    (pt, (complete, Pos.Pbl, hdf, I_Model.OLD_to_POS pits, where_, spec) : SpecificationC.T)
    1.17 +    (pt, (complete, Pos.Pbl, hdf, pits, where_, spec) : SpecificationC.T)
    1.18    end
    1.19  
    1.20  fun set_theory tI ptp =
    1.21 @@ -74,7 +74,7 @@
    1.22        case Ctree.get_obj I pt p of
    1.23          Ctree.PblObj {origin = (_, _, hdf), spec, ...} => (hdf, spec)
    1.24        | Ctree.PrfObj _ => raise ERROR "set_theory: case 2 uncovered"
    1.25 -  in (pt, (complete, Pos.Pbl, hdf, I_Model.OLD_to_POS pits, where_, spec) : SpecificationC.T) end;
    1.26 +  in (pt, (complete, Pos.Pbl, hdf, pits, where_, spec) : SpecificationC.T) end;
    1.27  
    1.28  (* does several steps within one calculation as given by "type auto";
    1.29     the steps may arbitrarily go into and leave different phases,