diff -r b3c45d0e4fe1 -r a8bcb5a446c8 src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Sat Nov 29 14:43:10 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Sun Nov 30 12:24:56 2014 +0100
@@ -69,7 +69,7 @@
   | _ => error ("Single ML name expected in input: " ^ quote txt));
 
 fun prep_ml source =
-  (#1 (Symbol_Pos.source_content source), ML_Lex.read_source false source);
+  (#1 (Input.source_content source), ML_Lex.read_source false source);
 
 fun index_ml name kind ml = Thy_Output.antiquotation name
   (Scan.lift (Args.text_source_position -- Scan.option (Args.colon |-- Args.text_source_position)))
@@ -90,7 +90,7 @@
         else txt1 ^ " : " ^ txt2;
       val txt' = if kind = "" then txt else kind ^ " " ^ txt;
 
-      val (pos, _) = #range source1;
+      val pos = Input.pos_of source1;
       val _ =
         ML_Context.eval_in (SOME ctxt) ML_Compiler.flags pos (ml (toks1, toks2))
           handle ERROR msg => error (msg ^ Position.here pos);