1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Arith/Div.v b/theories/Arith/Div.v
index 2b7cfac14..e4b0300dd 100755
--- a/theories/Arith/Div.v
+++ b/theories/Arith/Div.v
@@ -9,6 +9,7 @@
 (*i $Id$ i*)
 
 (** Euclidean division *)
+Import nat_scope.
 
 Require Le.
 Require Euclid_def.