| changeset 33111 | db5af7b86a2f |
| parent 33108 | 9d9afd478016 |
| child 33113 | 0f6e30b87cf1 |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Sat Oct 24 16:55:42 2009 +0200 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Sat Oct 24 16:55:42 2009 +0200 @@ -11,7 +11,7 @@ struct (* options *) -val fail_safe_mode = false +val fail_safe_mode = true open Predicate_Compile_Aux;