From af5f11c9e473cbdb0d0c7365cefd382a30c16787 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 27 Oct 2006 07:25:20 +0000
Subject: Ajout ListTactics

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

diff --git a/Makefile b/Makefile
index 55035e36ab..25dd5e2eda 100644
--- a/Makefile
+++ b/Makefile
@@ -885,7 +885,7 @@ LISTSVO=\
  theories/Lists/MonoList.vo \
  theories/Lists/ListSet.vo   	theories/Lists/Streams.vo \
  theories/Lists/TheoryList.vo   theories/Lists/List.vo \
- theories/Lists/SetoidList.vo
+ theories/Lists/SetoidList.vo   theories/Lists/ListTactics.vo
 
 STRINGSVO=\
  theories/Strings/Ascii.vo      theories/Strings/String.vo
-- 
cgit v1.2.3