From a62c7d7ebd7c650710c8a48eec8dab6b7f18f26e Mon Sep 17 00:00:00 2001
From: msozeau
Date: Fri, 4 Jan 2008 15:06:59 +0000
Subject: Add partial setoids in theories/Classes, add SetoidDec class for
 setoids with a decidable equality. Fix name capture bug, again.

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index a8801f3df0..919e9243e8 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -706,7 +706,8 @@ SETOIDSVO:= theories/Setoids/Setoid_tac.vo theories/Setoids/Setoid_Prop.vo theor
 
 UNICODEVO:= theories/Unicode/Utf8.vo
 
-CLASSESVO:= theories/Classes/Init.vo theories/Classes/SetoidClass.vo theories/Classes/SetoidTactics.v
+CLASSESVO:= theories/Classes/Init.vo theories/Classes/SetoidClass.vo theories/Classes/SetoidTactics.v \
+	theories/Classes/SetoidDec.v
 
 THEORIESVO:=\
   $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \
-- 
cgit v1.2.3