1.1 --- a/src/Tools/isac/Interpret/generate.sml	Thu Jan 05 17:43:48 2012 +0100
     1.2 +++ b/src/Tools/isac/Interpret/generate.sml	Sat Jan 07 10:06:06 2012 +0100
     1.3 @@ -464,7 +464,7 @@
     1.4    in ((p,Res), c, Form' (FormKF(~1,EdUndef,(length p), Nundef, term2str list)),
     1.5        pt) end
     1.6  
     1.7 -  | generate1 thy (Substitute' (subte, t, t')) l (p,p_) pt =
     1.8 +  | generate1 thy (Substitute' (_, _, subte, t, t')) l (p,p_) pt =
     1.9        let 
    1.10          val (pt,c) =
    1.11            cappend_atomic pt p l t (Substitute (subte2sube subte)) (t',[]) Complete;