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