1 files changed, 2 insertions, 1 deletions

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 \