1.1 --- a/src/Tools/isac/MathEngine/step.sml	Mon May 25 16:52:38 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngine/step.sml	Tue May 26 11:53:43 2020 +0200
     1.3 @@ -101,8 +101,8 @@
     1.4  (*OLD*)	           NONE => ("no-fmz-spec", ([], [], ptp))
     1.5  (*OLD*)	         | SOME _ => switch_specify_solve p_ (pt, ip)
     1.6  (*OLD*)end;
     1.7 -(*NEW*)
     1.8 -(*NEW* )if Pos.on_calc_end ip then
     1.9 +(*NEW* )
    1.10 +(*NEW*)if Pos.on_calc_end ip then
    1.11  (*NEW*)  ("end-of-calculation", (tacis, [], ptp): Calc.state_post) 
    1.12  (*NEW*)else
    1.13  (*NEW*)  let