1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 10:38:26 2016 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 10:56:42 2016 +0200
     1.3 @@ -206,13 +206,13 @@
     1.4  	    | _ => (case pIopt of
     1.5  		            NONE => ("no-fmz-spec", ([], [], ptp))
     1.6  		          | SOME pI =>
     1.7 -		            (case (if member op = [Pbl,Met] p_
     1.8 +		            (case if member op = [Pbl,Met] p_
     1.9  			                   andalso is_none (get_obj g_env pt (fst p))
    1.10  			                        (*^^^^^^^^: Apply_Method without init_form*)
    1.11  			                 then nxt_specify_ (pt, ip) 
    1.12 -                       else nxt_solve_ (pt,ip) )
    1.13 -		                  handle ERROR msg => (writeln ("*** " ^ msg);
    1.14 -		                    ([],[],ptp))(*e.g. Add_Given "equality///"*) of
    1.15 +                       else (nxt_solve_ (pt,ip) )
    1.16 +		                     handle ERROR msg => (writeln ("*** " ^ msg);
    1.17 +		                     ([],[],ptp))(*e.g. Add_Given "equality///"*) of
    1.18  		               cs as ([],_,_) =>("helpless", cs)(*FIXXMEdel.handle*)
    1.19  			           | cs => ("ok", cs)))
    1.20    end;