src/Pure/Thy/rail.ML

--- a/src/Pure/Thy/rail.ML	Tue May 03 16:54:26 2011 +0200
+++ b/src/Pure/Thy/rail.ML	Tue May 03 17:31:16 2011 +0200
@@ -258,7 +258,7 @@
 in
 
 val _ =
-  Thy_Output.antiquotation "rail" (Scan.lift (Parse.position Args.name))
+  Thy_Output.antiquotation "rail" (Scan.lift (Parse.source_position Parse.string))
     (fn {state, ...} => output_rules state o read);
 
 end;