src/Pure/Tools/rail.ML
changeset 59809 87641097d0f3
parent 59064 a8bcb5a446c8
child 59937 6eccb133d4e6
--- a/src/Pure/Tools/rail.ML	Wed Mar 25 10:59:28 2015 +0100
+++ b/src/Pure/Tools/rail.ML	Wed Mar 25 11:39:52 2015 +0100
@@ -364,7 +364,7 @@
 
 val _ = Theory.setup
   (Thy_Output.antiquotation @{binding rail}
-    (Scan.lift (Parse.source_position (Parse.string || Parse.cartouche)))
+    (Scan.lift (Parse.input (Parse.string || Parse.cartouche)))
     (fn {state, context, ...} => output_rules state o read context));
 
 end;