src/Pure/consts.ML
changeset 31977 e03059ae2d82
parent 30568 e6a55291102e
child 32784 1a5dde5079ac
     1.1 --- a/src/Pure/consts.ML	Thu Jul 09 22:36:11 2009 +0200
     1.2 +++ b/src/Pure/consts.ML	Thu Jul 09 22:48:12 2009 +0200
     1.3 @@ -215,7 +215,7 @@
     1.4      val vars = map Term.dest_TVar (typargs consts (c, declT));
     1.5      val inst = vars ~~ Ts handle UnequalLengths =>
     1.6        raise TYPE ("Consts.instance", Ts, [Const (c, dummyT)]);
     1.7 -  in declT |> TermSubst.instantiateT inst end;
     1.8 +  in declT |> Term_Subst.instantiateT inst end;
     1.9  
    1.10  
    1.11