src/Doc/antiquote_setup.ML

--- a/src/Doc/antiquote_setup.ML	Tue Nov 11 15:55:31 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Tue Nov 11 18:16:25 2014 +0100
@@ -90,7 +90,7 @@
         else txt1 ^ " : " ^ txt2;
       val txt' = if kind = "" then txt else kind ^ " " ^ txt;
 
-      val pos = #pos source1;
+      val (pos, _) = #range source1;
       val _ =
         ML_Context.eval_in (SOME ctxt) ML_Compiler.flags pos (ml (toks1, toks2))
           handle ERROR msg => error (msg ^ Position.here pos);