From 5fb26ab8b6cce851303798fa5fdf6005b025619f Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 14:22:30 +0000
Subject: Ajout de Bool/BoolEq.v

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

diff --git a/Makefile b/Makefile
index ca666bcd6c..5a6a1005ee 100644
--- a/Makefile
+++ b/Makefile
@@ -351,8 +351,9 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 	theories/Arith/Wf_nat.vo      \
 #	theories/Arith/Div.vo 
 
-BOOLVO=theories/Bool/Bool.vo  theories/Bool/IfProp.vo \
-       theories/Bool/Zerob.vo theories/Bool/DecBool.vo theories/Bool/Sumbool.vo
+BOOLVO=theories/Bool/Bool.vo  		theories/Bool/IfProp.vo \
+       theories/Bool/Zerob.vo 		theories/Bool/DecBool.vo \
+	theories/Bool/Sumbool.vo 	theories/Bool/BoolEq.vo
 
 ZARITHVO=theories/ZArith/Wf_Z.vo        theories/ZArith/Zsyntax.vo \
 	 theories/ZArith/ZArith.vo      theories/ZArith/auxiliary.vo \
-- 
cgit v1.2.3