From af08be9e326fe4b7e76234022fe33b1eea4c06dd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 22 Sep 2003 07:28:03 +0000
Subject: Passage à la V8 par défaut

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

(limited to 'contrib/first-order')

diff --git a/contrib/first-order/g_ground.ml4 b/contrib/first-order/g_ground.ml4
index 95b162d288..33e4107f65 100644
--- a/contrib/first-order/g_ground.ml4
+++ b/contrib/first-order/g_ground.ml4
@@ -39,7 +39,7 @@ let _=
   in
     declare_int_option gdopt
       
-let default_solver=(Tacinterp.interp <:tactic<Auto with *>>)
+let default_solver=(Tacinterp.interp <:tactic<auto with *>>)
     
 let fail_solver=tclFAIL 0 "GTauto failed"
 		      
-- 
cgit v1.2.3