--- 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