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 whitespace;
authorwenzelm
Sun, 23 Feb 2014 21:30:47 +0100
changeset 55696 de2668c50403
parent 55695 c05d3e22adaf
child 55697 abec82f4e3e9
tuned whitespace;
src/Pure/General/name_space.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/name_space.ML	Sun Feb 23 21:30:35 2014 +0100
+++ b/src/Pure/General/name_space.ML	Sun Feb 23 21:30:47 2014 +0100
@@ -447,7 +447,9 @@
 fun check context (space, tab) (xname, pos) =
   let val name = intern space xname in
     (case Symtab.lookup tab name of
-      SOME x => (Context_Position.report_generic context pos (markup space name); (name, x))
+      SOME x =>
+       (Context_Position.report_generic context pos (markup space name);
+        (name, x))
     | NONE =>
        (Completion.report (completion context space (xname, pos));
         error (undefined (kind_of space) name ^ Position.here pos)))
isabelle