--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML Mon Jul 09 09:28:26 2012 +1000
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML Mon Jul 09 09:47:59 2012 +0200
@@ -679,7 +679,8 @@
val random_compilations = [Random, Depth_Limited_Random,
- Pos_Random_DSeq, Neg_Random_DSeq, New_Pos_Random_DSeq, New_Neg_Random_DSeq, Pos_Generator_CPS]
+ Pos_Random_DSeq, Neg_Random_DSeq, New_Pos_Random_DSeq, New_Neg_Random_DSeq,
+ Pos_Generator_CPS, Neg_Generator_CPS]
(* datastructures and setup for generic compilation *)