src/Pure/consts.ML

--- a/src/Pure/consts.ML	Fri Nov 26 22:04:33 2010 +0100
+++ b/src/Pure/consts.ML	Fri Nov 26 22:29:41 2010 +0100
@@ -215,7 +215,7 @@
   let
     val declT = type_scheme consts c;
     val vars = map Term.dest_TVar (typargs consts (c, declT));
-    val inst = vars ~~ Ts handle UnequalLengths =>
+    val inst = vars ~~ Ts handle ListPair.UnequalLengths =>
       raise TYPE ("Consts.instance", Ts, [Const (c, dummyT)]);
   in declT |> Term_Subst.instantiateT inst end;