1.1 --- a/src/sml/ME/solve.sml	Sat May 17 14:22:55 2003 +0200
     1.2 +++ b/src/sml/ME/solve.sml	Sat May 17 17:27:57 2003 +0200
     1.3 @@ -260,6 +260,8 @@
     1.4  	       (* val Steps (is', (m',f',pt',p',c')::ss) =
     1.5  		      locate_gen (thy',srls) m  (pt,(p,p_)) (sc,d) is;
     1.6  
     1.7 +get_assumptions pt' p;
     1.8 +
     1.9  val oris = fst (get_obj g_origin pt' [1,1]);writeln(oris2str oris);
    1.10  
    1.11  val Subproblem' (_,oris,_) = m';