From 2ae65af3007c5ed79e932135f27704cae00dd449 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 17 Dec 2011 20:53:37 +0000
Subject: Deactivated automatic inference of _case schemes, as it was in 8.3
 (mainly to avoid defining names that may clash with user names later on).
 Best approach will probably be to define inductive types in relevant "name
 spaces".

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14804 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 c92f63d09d..51eddbae9f 100644
--- a/toplevel/indschemes.ml
+++ b/toplevel/indschemes.ml
@@ -53,7 +53,7 @@ let _ =
       optread  = (fun () -> !elim_flag) ;
       optwrite = (fun b -> elim_flag := b) }
 
-let case_flag = ref true
+let case_flag = ref false
 let _ =
   declare_bool_option
     { optsync  = true;
-- 
cgit v1.2.3