src/Pure/sign.ML

--- a/src/Pure/sign.ML	Fri Sep 17 17:31:20 2010 +0200
+++ b/src/Pure/sign.ML	Fri Sep 17 20:18:27 2010 +0200
@@ -426,7 +426,7 @@
   let
     val pos = Binding.pos_of b;
     val ([const as Const (c, _)], thy') = gen_add_consts (K I) [(b, T, mx)] thy;
-    val _ = Position.report (Markup.const_decl c) pos;
+    val _ = Position.report pos (Markup.const_decl c);
   in (const, thy') end;
 
 end;