src/Tools/misc_legacy.ML
changeset 42284 326f57825e1a
parent 39288 f1ae2493d93f
child 42361 23f352990944
--- a/src/Tools/misc_legacy.ML	Fri Apr 08 11:39:45 2011 +0200
+++ b/src/Tools/misc_legacy.ML	Fri Apr 08 13:31:16 2011 +0200
@@ -61,7 +61,7 @@
 fun strip_context_aux (params, Hs, Const ("==>", _) $ H $ B) =
       strip_context_aux (params, H :: Hs, B)
   | strip_context_aux (params, Hs, Const ("all",_) $ Abs (a, T, t)) =
-      let val (b, u) = Syntax.variant_abs (a, T, t)
+      let val (b, u) = Syntax_Trans.variant_abs (a, T, t)
       in strip_context_aux ((b, T) :: params, Hs, u) end
   | strip_context_aux (params, Hs, B) = (rev params, rev Hs, B);