1.1 --- a/src/Tools/isac/ME/solve.sml	Fri Aug 20 12:25:37 2010 +0200
     1.2 +++ b/src/Tools/isac/ME/solve.sml	Fri Aug 20 14:58:43 2010 +0200
     1.3 @@ -495,7 +495,7 @@
     1.4  (*@@@ vvv @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*)
     1.5  fun complete_solve auto c (ptp as (_, p as (_,p_)): ptree * pos') =
     1.6      if p = ([], Res) then ("end-of-calculation", [], ptp) else
     1.7 -    if member op = p_ [Pbl,Met]
     1.8 +    if member op = [Pbl,Met] p_
     1.9      then let val ptp = all_modspec ptp
    1.10  	     val (_, c', ptp) = all_solve auto c ptp
    1.11  	 in complete_solve auto (c@c') ptp end
    1.12 @@ -571,7 +571,7 @@
    1.13    | Appl m => 
    1.14        (* val Appl m=applicable_in (p,p_) pt m;
    1.15           *)
    1.16 -      if member op = mI specsteps
    1.17 +      if member op = specsteps mI
    1.18  	then let val (_,_,f,_,_,_) = specify m (p,p_) [] pt
    1.19  	     in f end
    1.20        else let val (*_,_,f,_,_,_*)_ = solve (mI,m) (pt,(p,p_))