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