TFL/casesplit.ML

--- a/TFL/casesplit.ML	Tue Jul 11 12:17:05 2006 +0200
+++ b/TFL/casesplit.ML	Tue Jul 11 12:17:06 2006 +0200
@@ -179,7 +179,7 @@
       val freets = Term.term_frees gt;
       fun getter x =
           let val (n,ty) = Term.dest_Free x in
-            (if vstr = n orelse vstr = Term.dest_skolem n
+            (if vstr = n orelse vstr = Name.dest_skolem n
              then SOME (n,ty) else NONE )
             handle Fail _ => NONE (* dest_skolem *)
           end;