From 13223ba6649dfd7501a34a700abc09c2e7169636 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 7 Feb 2007 20:12:34 +0000
Subject: Add tactics for induction on subterms.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c9156cb179..4b8580d66f 100644
--- a/Makefile
+++ b/Makefile
@@ -1101,7 +1101,7 @@ JPROVERVO=
 
 CCVO=
 
-SUBTACVO=contrib/subtac/Utils.vo contrib/subtac/FixSub.vo contrib/subtac/Subtac.vo \
+SUBTACVO=contrib/subtac/Tactics.vo contrib/subtac/Utils.vo contrib/subtac/FixSub.vo contrib/subtac/Subtac.vo \
 	contrib/subtac/FunctionalExtensionality.vo
 
 RTAUTOVO = \
-- 
cgit v1.2.3