From 49410249a3cbfc62e02b604b0e74fe1aa6db61f5 Mon Sep 17 00:00:00 2001
From: corbinea
Date: Mon, 16 Jun 2003 08:59:31 +0000
Subject: ground update

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4169 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/first-order/g_ground.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/first-order/g_ground.ml4 b/contrib/first-order/g_ground.ml4
index 059ca69a6a..2e8929c55e 100644
--- a/contrib/first-order/g_ground.ml4
+++ b/contrib/first-order/g_ground.ml4
@@ -25,7 +25,7 @@ let ground_depth=ref 5
 
 let _=
   let gdopt=
-    { optsync=false;
+    { optsync=true;
       optname="ground_depth";
       optkey=SecondaryTable("Ground","Depth"); 
       optread=(fun ()->Some !ground_depth); 
-- 
cgit v1.2.3