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