From 97271bd7c99f2a6de4b022af420f7a6050803492 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 12:59:31 +0000
Subject: Changement Zarith ZArith

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

diff --git a/Makefile b/Makefile
index 6e0d1dd2bc..ca666bcd6c 100644
--- a/Makefile
+++ b/Makefile
@@ -354,10 +354,10 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 BOOLVO=theories/Bool/Bool.vo  theories/Bool/IfProp.vo \
        theories/Bool/Zerob.vo theories/Bool/DecBool.vo theories/Bool/Sumbool.vo
 
-ZARITHVO=theories/Zarith/Wf_Z.vo        theories/Zarith/Zsyntax.vo \
-	 theories/Zarith/ZArith.vo      theories/Zarith/auxiliary.vo \
-	 theories/Zarith/ZArith_dec.vo  theories/Zarith/fast_integer.vo \
-	 theories/Zarith/Zmisc.vo       theories/Zarith/zarith_aux.vo
+ZARITHVO=theories/ZArith/Wf_Z.vo        theories/ZArith/Zsyntax.vo \
+	 theories/ZArith/ZArith.vo      theories/ZArith/auxiliary.vo \
+	 theories/ZArith/ZArith_dec.vo  theories/ZArith/fast_integer.vo \
+	 theories/ZArith/Zmisc.vo       theories/ZArith/zarith_aux.vo
 
 LISTSVO=theories/Lists/List.vo      theories/Lists/PolyListSyntax.vo \
         theories/Lists/ListSet.vo   theories/Lists/Streams.vo \
-- 
cgit v1.2.3