diff options
Diffstat (limited to 'theories/ZArith/ZArith.v')
| -rw-r--r-- | theories/ZArith/ZArith.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/ZArith/ZArith.v b/theories/ZArith/ZArith.v index a263ab379..7a68bd511 100644 --- a/theories/ZArith/ZArith.v +++ b/theories/ZArith/ZArith.v @@ -22,6 +22,6 @@ Require Export Zlogarithm. Export ZArithRing. -(** Final Z module, cumulating ZBinary.Z, Zminmax.Z, and Zdiv.Z *) +(** Final Z module, cumulating ZBinary.Z and Zdiv.Z *) Module Z := Zdiv.Z. |