src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Fri Sep 17 17:31:20 2010 +0200
+++ b/src/Pure/Isar/method.ML	Fri Sep 17 20:18:27 2010 +0200
@@ -358,7 +358,7 @@
       let val ((name, _), pos) = Args.dest_src src in
         (case Symtab.lookup meths name of
           NONE => error ("Unknown proof method: " ^ quote name ^ Position.str_of pos)
-        | SOME (mth, _) => (Position.report (Markup.method name) pos; mth src))
+        | SOME (mth, _) => (Position.report pos (Markup.method name); mth src))
       end;
   in meth end;