diff -r da79ac67794b -r 300ec36a19af src/Tools/code/code_ml.ML
--- a/src/Tools/code/code_ml.ML	Tue Dec 02 14:29:12 2008 +0100
+++ b/src/Tools/code/code_ml.ML	Thu Dec 04 23:00:21 2008 +0100
@@ -912,7 +912,7 @@
 
 structure CodeAntiqData = ProofDataFun
 (
-  type T = string list * (bool * (string * (string * (string * string) list) Lazy.T));
+  type T = string list * (bool * (string * (string * (string * string) list) lazy));
   fun init _ = ([], (true, ("", Lazy.value ("", []))));
 );