src/Pure/Tools/rail.ML

--- 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;