1.1 --- a/src/Tools/isac/Interpret/script.sml	Fri Sep 23 09:41:11 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/script.sml	Fri Sep 23 13:58:27 2011 +0200
     1.3 @@ -986,7 +986,6 @@
     1.4  			         (subst_atomic (upd_env_opt E (a',v)) t), E))
     1.5         | (a', STac stac) =>
     1.6  	         let
     1.7 -             val ctxt = get_ctxt pt (p,p_)
     1.8               val p' = 
     1.9                 case p_ of Frm => p 
    1.10                 | Res => lev_on p