Changement de la valeur par défaut de with_geoproof (stabilité coqide)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9271 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 3d70ed7cef..3f63b714f4 100755
--- a/configure
+++ b/configure
@@ -106,7 +106,7 @@ reals_opt=no
 reals=all
 arch_spec=no
 coqide_spec=no
-with_geoproof=true
+with_geoproof=false
 
 # COQTOP=`pwd`
 COQSRC=`pwd`