diff -r cb55fd65faa6 -r 67ccea8a4761 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Wed Jul 21 18:11:51 2010 +0200
+++ b/src/HOL/ex/ROOT.ML	Wed Jul 21 18:11:51 2010 +0200
@@ -59,6 +59,7 @@
   "HarmonicSeries",
   "Refute_Examples",
   "Quickcheck_Examples",
+  "Quickcheck_Lattice_Examples",
   "Landau",
   "Execute_Choice",
   "Summation",