src/Pure/Thy/rail.ML

--- a/src/Pure/Thy/rail.ML	Mon Jun 27 17:51:28 2011 +0200
+++ b/src/Pure/Thy/rail.ML	Mon Jun 27 22:20:49 2011 +0200
@@ -259,8 +259,10 @@
 in
 
 val _ =
-  Thy_Output.antiquotation "rail" (Scan.lift (Parse.source_position Parse.string))
-    (fn {state, ...} => output_rules state o read);
+  Context.>> (Context.map_theory
+    (Thy_Output.antiquotation (Binding.name "rail")
+      (Scan.lift (Parse.source_position Parse.string))
+      (fn {state, ...} => output_rules state o read)));
 
 end;