# HG changeset patch
# User bulwahn
# Date 1341820079 -7200
# Node ID e0ed7fab0d09435cf999f1c3da6518d1e7f753dc
# Parent  12bbb9d4b6ede0d775b7dbef139b243503ef8638
adding a missing entry to predicate compiler's setup

diff -r 12bbb9d4b6ed -r e0ed7fab0d09 src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML
--- 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 *)