diff -r 609f9ef73494 -r a0edabf14457 CookBook/antiquote_setup.ML
--- a/CookBook/antiquote_setup.ML	Sat Nov 01 15:20:36 2008 +0100
+++ b/CookBook/antiquote_setup.ML	Mon Nov 24 02:51:08 2008 +0100
@@ -24,7 +24,6 @@
 
 fun ml_struct txt = "functor DUMMY_FUNCTOR() = struct structure DUMMY = " ^ txt ^ " end";
 fun ml_type txt = "val _ = NONE : (" ^ txt ^ ") option";
-fun ml_decl txt = txt
 
 fun output_ml_open ml src ctxt ((txt,ovars),pos) =
   (ML_Context.eval_in (SOME ctxt) false pos (ml ovars txt);