1.1 --- a/src/sml/ME/solve.sml	Sat Aug 20 19:10:30 2005 +0200
     1.2 +++ b/src/sml/ME/solve.sml	Sat Aug 20 21:20:16 2005 +0200
     1.3 @@ -136,7 +136,7 @@
     1.4  
     1.5  
     1.6  (* val ("Apply_Method",Apply_Method' (mI,_))=(mI,m);
     1.7 -   val (("Apply_Method",Apply_Method' (mI,_)), pos as (p,_))=(m, pos);
     1.8 +   val (("Apply_Method",Apply_Method' (mI,_,_)), pos as (p,_))=(m, pos);
     1.9     *)
    1.10  fun solve ("Apply_Method",Apply_Method' (mI,_,_)) (pt:ptree,(pos as (p,_))) =
    1.11    let val {srls,...} = get_met mI;