From d6415df7d4fa35f14f418d2e6cd3e0516fcc263c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 28 Nov 2000 11:55:09 +0000
Subject: Rajout de PolyListSyntax aussi dans Makefile

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

diff --git a/Makefile b/Makefile
index c60a08eb33..a1c375376b 100644
--- a/Makefile
+++ b/Makefile
@@ -263,8 +263,8 @@ ZARITHVO=theories/Zarith/Wf_Z.vo        theories/Zarith/Zsyntax.vo \
 	 theories/Zarith/ZArith_dec.vo  theories/Zarith/fast_integer.vo \
 	 theories/Zarith/Zmisc.vo       theories/Zarith/zarith_aux.vo
 
-LISTSVO=theories/Lists/List.vo      \
-        theories/Lists/ListSet.vo   theories/Lists/Streams.vo        \
+LISTSVO=theories/Lists/List.vo      theories/Lists/PolyListSyntax.vo \
+        theories/Lists/ListSet.vo   theories/Lists/Streams.vo \
         theories/Lists/PolyList.vo  theories/Lists/TheoryList.vo
 
 SETSVO=theories/Sets/Classical_sets.vo     theories/Sets/Permut.vo \
-- 
cgit v1.2.3