diff options
Diffstat (limited to 'contrib/ring/ZArithRing.v')
| -rw-r--r-- | contrib/ring/ZArithRing.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ring/ZArithRing.v b/contrib/ring/ZArithRing.v index 2de8611764..65fd1bc64a 100644 --- a/contrib/ring/ZArithRing.v +++ b/contrib/ring/ZArithRing.v @@ -11,7 +11,7 @@ (* Instantiation of the Ring tactic for the binary integers of ZArith *) Require Export ArithRing. -Require Export ZArith. +Require Export ZArith_base. Require Eqdep_dec. Definition Zeq := [x,y:Z] |