From 2be3e907c4202e41620127b54cd828e16a32b58c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 7 Nov 2003 23:20:16 +0000
Subject: Oubli BinNat

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

diff --git a/theories/ZArith/fast_integer.v b/theories/ZArith/fast_integer.v
index a25519b255..059e79eb3a 100644
--- a/theories/ZArith/fast_integer.v
+++ b/theories/ZArith/fast_integer.v
@@ -13,6 +13,7 @@
 (***********************************************************)
 
 Require Export BinPos.
+Require BinNat.
 Require Le.
 Require Lt.
 Require Gt.
-- 
cgit v1.2.3