src/Pure/Tools/rail.ML
changeset 59937 6eccb133d4e6
parent 59809 87641097d0f3
child 61456 b521b8b400f7
--- a/src/Pure/Tools/rail.ML	Mon Apr 06 17:06:48 2015 +0200
+++ b/src/Pure/Tools/rail.ML	Mon Apr 06 17:20:10 2015 +0200
@@ -363,8 +363,7 @@
 in
 
 val _ = Theory.setup
-  (Thy_Output.antiquotation @{binding rail}
-    (Scan.lift (Parse.input (Parse.string || Parse.cartouche)))
+  (Thy_Output.antiquotation @{binding rail} (Scan.lift Args.text_input)
     (fn {state, context, ...} => output_rules state o read context));
 
 end;