# HG changeset patch
# User kuncar
# Date 1368451339 -7200
# Node ID 68c163598f07e0754dd4421d28f53dccffc19cc2
# Parent  a4d81cdebf8b427f65b2bb9f252389139a008dea
typo

diff -r a4d81cdebf8b -r 68c163598f07 src/HOL/Tools/Lifting/lifting_def.ML
--- 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 "."]))]