1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Wed May 11 08:25:40 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Wed May 11 14:58:07 2011 +0200
     1.3 @@ -208,7 +208,7 @@
     1.4  		            (case (if member op = [Pbl,Met] p_
     1.5  			                   andalso is_none (get_obj g_env pt (fst p))
     1.6  			                        (*^^^^^^^^: Apply_Method without init_form*)
     1.7 -			                 then nxt_specify_ (pt,ip) 
     1.8 +			                 then nxt_specify_ (pt, ip) 
     1.9                         else nxt_solve_ (pt,ip) )
    1.10  			                handle _ => ([],[],ptp)(*e.g.by Add_Giv"equality///"*) of
    1.11  		               cs as ([],_,_) =>("helpless", cs)(*FIXXMEdel.handle*)