src/Doc/Datatypes/Setup.thy

--- a/src/Doc/Datatypes/Setup.thy	Wed Mar 12 12:18:41 2014 +0100
+++ b/src/Doc/Datatypes/Setup.thy	Wed Mar 12 14:17:13 2014 +0100
@@ -4,6 +4,4 @@
 
 ML_file "../antiquote_setup.ML"
 
-setup Antiquote_Setup.setup
-
 end