--- a/src/Pure/Thy/rail.ML Fri Aug 23 20:09:34 2013 +0200
+++ b/src/Pure/Thy/rail.ML Fri Aug 23 20:35:50 2013 +0200
@@ -263,11 +263,10 @@
in
-val _ =
- Context.>> (Context.map_theory
- (Thy_Output.antiquotation (Binding.name "rail")
- (Scan.lift (Parse.source_position Parse.string))
- (fn {state, ...} => output_rules state o read)));
+val _ = Theory.setup
+ (Thy_Output.antiquotation (Binding.name "rail")
+ (Scan.lift (Parse.source_position Parse.string))
+ (fn {state, ...} => output_rules state o read));
end;