1.1 --- a/src/Tools/isac/MathEngine/mathengine-stateless.sml	Mon May 18 11:58:55 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngine/mathengine-stateless.sml	Mon May 18 14:02:54 2020 +0200
     1.3 @@ -109,7 +109,7 @@
     1.4      else
     1.5        if member op = [Pos.Pbl, Pos.Met] p_
     1.6        then
     1.7 -        if not (Specification.is_complete_mod (pt, pos))
     1.8 +        if not (Specification.is_complete (pt, pos))
     1.9     	    then
    1.10     	      let val ptp = Specify.finish_phase (pt, pos)      (*... auto = 2 | 3 *)
    1.11     		    in