src/Pure/Tools/rail.ML
changeset 55112 b1a5d603fd12
parent 55030 9a9049d12e21
child 55526 39708e59f4b0
--- a/src/Pure/Tools/rail.ML	Wed Jan 22 16:03:11 2014 +0100
+++ b/src/Pure/Tools/rail.ML	Wed Jan 22 17:02:05 2014 +0100
@@ -266,7 +266,7 @@
 
 val _ = Theory.setup
   (Thy_Output.antiquotation @{binding rail}
-    (Scan.lift (Parse.source_position Parse.string))
+    (Scan.lift (Parse.source_position (Parse.string || Parse.cartouche)))
     (fn {state, ...} => output_rules state o read));
 
 end;