From b946944cb9bb21dcd9aba3b01b9aeafc4b78b1c8 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 23 Dec 2003 18:18:13 +0000
Subject: *** empty log message ***

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

(limited to 'contrib')

diff --git a/contrib/first-order/g_ground.ml4 b/contrib/first-order/g_ground.ml4
index d6f76a0a9..bfdf5dbfc 100644
--- a/contrib/first-order/g_ground.ml4
+++ b/contrib/first-order/g_ground.ml4
@@ -90,6 +90,7 @@ TACTIC EXTEND Firstorder
       [ gen_ground_tac true (option_app eval_tactic t) Void ]
 END
 
+(* Obsolete since V8.0
 TACTIC EXTEND GTauto   
   [ "GTauto" ] ->
      [ gen_ground_tac false (Some fail_solver) Void ]   
@@ -99,4 +100,4 @@ TACTIC EXTEND GIntuition
   [ "GIntuition" tactic_opt(t) ] ->
      [ gen_ground_tac false (option_app eval_tactic t) Void ]
 END
-
+*)
-- 
cgit v1.2.3