
diff -r 61f319bebb7a -r 564a7bee8652 src/Doc/Codegen/Setup.thy
--- a/src/Doc/Codegen/Setup.thy	Wed Mar 12 14:22:51 2014 +0100
+++ b/src/Doc/Codegen/Setup.thy	Wed Mar 12 14:23:26 2014 +0100
@@ -16,7 +16,6 @@
 ML_file "../more_antiquote.ML"
 
 setup {*
-  More_Antiquote.setup #>
 let
   val typ = Simple_Syntax.read_typ;
 in




