--- a/src/HOL/ex/ROOT.ML Thu Nov 12 20:38:59 2009 +0100
+++ b/src/HOL/ex/ROOT.ML Thu Nov 12 20:39:02 2009 +0100
@@ -13,7 +13,8 @@
"Codegenerator_Pretty_Test",
"NormalForm",
"Predicate_Compile",
- "Predicate_Compile_ex"
+ "Predicate_Compile_ex",
+ "Predicate_Compile_Quickcheck"
];
use_thys [