From f2145e3d67e2889f38ad6e2aa475edc55d134c66 Mon Sep 17 00:00:00 2001
From: vsiles
Date: Mon, 16 May 2011 09:31:53 +0000
Subject: 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
---
 toplevel/indschemes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit v1.2.3