diff options
| author | vsiles | 2011-05-16 09:31:53 +0000 |
|---|---|---|
| committer | vsiles | 2011-05-16 09:31:53 +0000 |
| commit | f2145e3d67e2889f38ad6e2aa475edc55d134c66 (patch) | |
| tree | 999ea6a1033d3618a83e8fe0a199450b90c85a78 | |
| parent | 449a02d3a3fb4c63cd6732b28c9c629c8bb3bb5d (diff) | |
turn the automatic generation of boolean equality
off, as it should be since 8.3
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14125 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | toplevel/indschemes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml index 52c9be6751..dc127db0ce 100644 --- a/toplevel/indschemes.ml +++ b/toplevel/indschemes.ml @@ -61,7 +61,7 @@ let _ = optread = (fun () -> !case_flag) ; optwrite = (fun b -> case_flag := b) } -let eq_flag = ref true +let eq_flag = ref false let _ = declare_bool_option { optsync = true; |