From bc2720d7f2889d3df4cbb3c96d9929974092bda1 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 7 Feb 2007 20:31:40 +0000
Subject: Fix mistake naming my Tactics file Tactics :)

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

(limited to 'Makefile')

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