diff options
| author | Stefan Krah <skrah@bytereef.org> | 2013-01-16 15:16:10 +0100 |
|---|---|---|
| committer | Stefan Krah <skrah@bytereef.org> | 2013-01-16 15:16:10 +0100 |
| commit | 6b9a4157539887081630e919029b754314fe6aea (patch) | |
| tree | 25146eae041b830405c86b95fa6923dd98c6e0bc /Modules/_decimal/libmpdec/literature/umodarith.lisp | |
| parent | f148b810d5803c8f0ed0a86784a7c3743b30e22b (diff) | |
| download | cpython-6b9a4157539887081630e919029b754314fe6aea.tar.gz | |
Remove trailing whitespace.
Diffstat (limited to 'Modules/_decimal/libmpdec/literature/umodarith.lisp')
| -rw-r--r-- | Modules/_decimal/libmpdec/literature/umodarith.lisp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Modules/_decimal/libmpdec/literature/umodarith.lisp b/Modules/_decimal/libmpdec/literature/umodarith.lisp index 60a14a4e56..008e9f4507 100644 --- a/Modules/_decimal/libmpdec/literature/umodarith.lisp +++ b/Modules/_decimal/libmpdec/literature/umodarith.lisp @@ -321,7 +321,7 @@ (defthmd dw-submod-correct (implies (and (< 0 m) (< m base) - (natp a) (< a m) + (natp a) (< a m) (< hi base) (< lo base) (natp m) (natp base) (natp hi) (natp lo)) |