# HG changeset patch
# User wenzelm
# Date 1393187447 -3600
# Node ID de2668c504036afc79be3b7ccf8dfd042f5cb7ea
# Parent  c05d3e22adaf4e347930115c4535ab27f9525a79
tuned whitespace;

diff -r c05d3e22adaf -r de2668c50403 src/Pure/General/name_space.ML
--- 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)))