1.1 --- a/src/Tools/isac/MathEngine/mathengine-stateless.sml	Thu Apr 23 12:34:54 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngine/mathengine-stateless.sml	Thu Apr 23 15:48:31 2020 +0200
     1.3 @@ -7,8 +7,8 @@
     1.4  
     1.5  signature MATH_ENGINE =
     1.6  sig
     1.7 -  val autocalc : Pos.pos' list -> Pos.pos' -> (Calc.T) * Generate.taci list ->
     1.8 -    Solve.auto -> string * Pos.pos' list * (Calc.T)
     1.9 +  val autocalc : Pos.pos' list -> Pos.pos' -> Calc.T * State_Steps.T ->
    1.10 +    Solve.auto -> string * Pos.pos' list * Calc.T
    1.11  
    1.12    val initcontext_met : Ctree.ctree -> Pos.pos' -> bool * string list * Program.T * Model.itm list * (bool * term) list
    1.13    val initcontext_pbl : Ctree.ctree -> Pos.pos' -> bool * string list * term * Model.itm list * (bool * term) list