From 9441cd8a9a11fc1557abb5480de9884ba647b533 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sat, 18 Mar 2000 00:23:43 +0000
Subject: on ne compile pas Div.v (Realizer)

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

diff --git a/Makefile b/Makefile
index 0991217dd0..c1c29f9cc4 100644
--- a/Makefile
+++ b/Makefile
@@ -219,12 +219,12 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 	theories/Arith/Between.vo       theories/Arith/Le.vo          \
 	theories/Arith/Compare.vo       theories/Arith/Lt.vo          \
 	theories/Arith/Compare_dec.vo   theories/Arith/Min.vo         \
-	theories/Arith/Div.vo           theories/Arith/Minus.vo       \
-	theories/Arith/Div2.vo          theories/Arith/Mult.vo        \
+	theories/Arith/Div2.vo           theories/Arith/Minus.vo       \
+	theories/Arith/Mult.vo          theories/Arith/Even.vo \
 	theories/Arith/EqNat.vo         theories/Arith/Peano_dec.vo   \
 	theories/Arith/Euclid_def.vo    theories/Arith/Plus.vo        \
 	theories/Arith/Euclid_proof.vo  theories/Arith/Wf_nat.vo      \
-	theories/Arith/Even.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
-- 
cgit v1.2.3