1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Sat Mar 19 15:18:10 2011 +0100
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Mon Mar 21 00:32:53 2011 +0100
     1.3 @@ -186,7 +186,7 @@
     1.4  		   Apply_Method mI => 
     1.5  (* val Apply_Method mI = tac;
     1.6     *)
     1.7 -		   nxt_solv (Apply_Method' (mI, NONE, e_istate)) e_istate ptp
     1.8 +		   nxt_solv (Apply_Method' (mI, NONE, e_istate, e_ctxt)) (e_istate, e_ctxt) ptp
     1.9  		 | _ => nxt_specif tac ptp end
    1.10      end;
    1.11