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`