diff options
Diffstat (limited to 'theories/PArith/PArith.v')
| -rw-r--r-- | theories/PArith/PArith.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/PArith/PArith.v b/theories/PArith/PArith.v index e2bec88af..26b8265bb 100644 --- a/theories/PArith/PArith.v +++ b/theories/PArith/PArith.v @@ -8,4 +8,4 @@ (** Library for positive natural numbers *) -Require Export BinNums BinPos Pnat Pminmax Psqrt Pgcd POrderedType. +Require Export BinNums BinPos Pnat POrderedType. |