From dc60bc77c8d9463c9410bccd7b1e77542c493c28 Mon Sep 17 00:00:00 2001
From: corbinea
Date: Wed, 2 Jul 2003 09:27:37 +0000
Subject: suppression de newtauto

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 83c45e98d7..178abf1334 100644
--- a/Makefile
+++ b/Makefile
@@ -188,7 +188,7 @@ parsing/q_tactic.ml4: parsing/g_tactic.ml4
 parsing/q_ltac.ml4: parsing/g_ltac.ml4
 	camlp4o -I parsing grammar.cma pa_ifdef.cmo pa_extend.cmo pr_o.cmo pr_extend.cmo -quotify -DQuotify -o parsing/q_ltac.ml4 -impl parsing/g_ltac.ml4
 
-SPECTAC= tactics/tauto.ml4 tactics/newtauto.ml4 tactics/eqdecide.ml4
+SPECTAC= tactics/tauto.ml4 tactics/eqdecide.ml4
 USERTAC = $(SPECTAC)
 ML4FILES += $(USERTAC) tactics/extraargs.ml4 tactics/extratactics.ml4 \
 	tactics/eauto.ml4 
-- 
cgit v1.2.3