From ed459d5dcf73d0342785d30f2515bc0fa0d06553 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 16 May 2006 16:17:43 +0000
Subject: etoffage des notions de permutations (a la fois List.Permutation et
 Permutation.permutation)

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 18f7b0a0c3..7925af0fe7 100644
--- a/Makefile
+++ b/Makefile
@@ -814,7 +814,8 @@ ARITHVO=\
 
 SORTINGVO=\
  theories/Sorting/Heap.vo	theories/Sorting/Permutation.vo \
- theories/Sorting/Sorting.vo
+ theories/Sorting/Sorting.vo	theories/Sorting/PermutSetoid.vo \
+ theories/Sorting/PermutEq.vo
  
 BOOLVO=\
  theories/Bool/Bool.vo  	theories/Bool/IfProp.vo \
-- 
cgit v1.2.3