Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Mon, 10 Mar 2014 22:28:20 +0100
changeset 56040 98d466e6de8a
parent 56039 5ff5208de089
child 56041 1403a22e5538
tuned message;
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_context.ML	Mon Mar 10 22:22:03 2014 +0100
+++ b/src/Pure/Isar/proof_context.ML	Mon Mar 10 22:28:20 2014 +0100
@@ -441,7 +441,7 @@
 
 fun check_type_name {proper, strict} ctxt (c, pos) =
   if Lexicon.is_tid c then
-    if proper then error ("Not a type constructor: " ^ c ^ Position.here pos)
+    if proper then error ("Not a type constructor: " ^ quote c ^ Position.here pos)
     else
       let
         val reports =
isabelle