From 3004d1c1d53a13c4ea34e1997367ad6e0b1c31eb Mon Sep 17 00:00:00 2001
From: bertot
Date: Thu, 5 Oct 2006 13:27:01 +0000
Subject: revert, the previous commit was a mistake

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9214 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/ZArith/Zcomplements.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories')

diff --git a/theories/ZArith/Zcomplements.v b/theories/ZArith/Zcomplements.v
index e5c18bd33d..a3f17f4d8f 100644
--- a/theories/ZArith/Zcomplements.v
+++ b/theories/ZArith/Zcomplements.v
@@ -8,7 +8,7 @@
 
 (*i $Id$ i*)
 
-Require Export ZArithRing.
+Require Import ZArithRing.
 Require Import ZArith_base.
 Require Import Omega.
 Require Import Wf_nat.
-- 
cgit v1.2.3