changeset 35880 | 2623b23e41fc |
parent 35879 | 99818df5b8f5 |
child 35881 | aa412e08bfee |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML Mon Mar 22 08:30:13 2010 +0100 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML Mon Mar 22 08:30:13 2010 +0100 @@ -570,7 +570,7 @@ "no_topmost_reordering"] val compilation_names = [("pred", Pred), - (*("random", Random),*) + ("random", Random), ("depth_limited", Depth_Limited), (*("annotated", Annotated),*) ("dseq", DSeq), ("random_dseq", Pos_Random_DSeq)]