author | kuncar |
Mon, 13 May 2013 15:22:19 +0200 | |
changeset 51957 | 68c163598f07 |
parent 51956 | a4d81cdebf8b |
child 51961 | 4ccc75f17bb7 |
--- a/src/HOL/Tools/Lifting/lifting_def.ML Mon May 13 13:59:04 2013 +0200 +++ b/src/HOL/Tools/Lifting/lifting_def.ML Mon May 13 15:22:19 2013 +0200 @@ -572,7 +572,7 @@ (Pretty.string_of (Pretty.block [Pretty.str "Reason:", Pretty.brk 2, - Pretty.str "The type of the term cannot be instancied to", + Pretty.str "The type of the term cannot be instantiated to", Pretty.brk 1, Pretty.quote (Syntax.pretty_typ ctxt rty_forced), Pretty.str "."]))]