diff -r 199fe16cdaab -r dfd30b5b4e73 src/HOL/Predicate_Compile.thy
--- a/src/HOL/Predicate_Compile.thy	Mon Mar 29 17:30:50 2010 +0200
+++ b/src/HOL/Predicate_Compile.thy	Mon Mar 29 17:30:52 2010 +0200
@@ -12,6 +12,7 @@
   "Tools/Predicate_Compile/predicate_compile_data.ML"
   "Tools/Predicate_Compile/predicate_compile_fun.ML"
   "Tools/Predicate_Compile/predicate_compile_pred.ML"
+  "Tools/Predicate_Compile/predicate_compile_specialisation.ML"
   "Tools/Predicate_Compile/predicate_compile.ML"
 begin