From ebd8983ffa4fd0656b00462b841ce24910f9761f Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 15 May 2008 08:22:41 +0000
Subject: Oubli lors de la révision 10899 (Bool_nat.vo)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 2a260643f..730e5678d 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -505,11 +505,12 @@ LOGICVO:=$(addprefix theories/Logic/, \
  IndefiniteDescription.vo SetIsType.vo )
 
 ARITHVO:=$(addprefix theories/Arith/, \
- Arith.vo	Gt.vo          	Between.vo	Le.vo          \
- Compare.vo	Lt.vo          	Compare_dec.vo	Min.vo         \
- Div2.vo	Minus.vo       	Mult.vo		Even.vo        \
- EqNat.vo	Peano_dec.vo   	Euclid.vo	Plus.vo        \
- Wf_nat.vo  	Max.vo		Factorial.vo	Arith_base.vo  )
+ Arith.vo	Gt.vo          	Between.vo	Le.vo         	\
+ Compare.vo	Lt.vo          	Compare_dec.vo	Min.vo        	\
+ Div2.vo	Minus.vo       	Mult.vo		Even.vo       	\
+ EqNat.vo	Peano_dec.vo   	Euclid.vo	Plus.vo		\
+ Wf_nat.vo  	Max.vo		Bool_nat.vo	Factorial.vo	\
+ Arith_base.vo )
 
 SORTINGVO:=$(addprefix theories/Sorting/, \
  Heap.vo 	Permutation.vo	Sorting.vo 	PermutSetoid.vo \
-- 
cgit v1.2.3