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