1.1 --- a/src/Tools/isac/FE-interface/interface.sml	Mon Aug 23 11:12:59 2010 +0200
     1.2 +++ b/src/Tools/isac/FE-interface/interface.sml	Mon Aug 23 11:22:25 2010 +0200
     1.3 @@ -462,7 +462,7 @@
     1.4  	 let val pI = guh2kestoreID guh
     1.5  	     val ((pt, _), _) = get_calc cI
     1.6  	     (*val ip as (_, p_) = get_pos cI 1*)
     1.7 -	 in if member op = p_ [Pbl, Met]
     1.8 +	 in if member op = [Pbl, Met] p_ 
     1.9  	    then let val (pt, chd) = set_problem pI (pt, ip)
    1.10  		 in (upd_calc cI ((pt, ip), []);
    1.11  		     modifycalcheadOK2xml cI chd) end
    1.12 @@ -474,7 +474,7 @@
    1.13         | "met_" =>
    1.14  	 let val mI = guh2kestoreID guh
    1.15  	     val ((pt, _), _) = get_calc cI
    1.16 -	 in if member op = p_ [Pbl, Met]
    1.17 +	 in if member op = [Pbl, Met] p_
    1.18  	    then let val (pt, chd) = set_method mI (pt, ip)
    1.19  		 in (upd_calc cI ((pt, ip), []);
    1.20  		     modifycalcheadOK2xml cI chd) end