diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
| commit | 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 (patch) | |
| tree | ecd96105b5ee50cf5e81dfe1eb506797730e2955 /src/algebra/strap/FPS-.lsp | |
| parent | 78dd44d657fa65a8029d996aaf7ac05d2133f509 (diff) | |
| download | open-axiom-6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64.tar.gz | |
* interp/compiler.boot (compGreaterThan): Remove.
* interp/parse.boot (parseGreaterEqual): Likewise.
Diffstat (limited to 'src/algebra/strap/FPS-.lsp')
| -rw-r--r-- | src/algebra/strap/FPS-.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/FPS-.lsp b/src/algebra/strap/FPS-.lsp index 20b4f76e..58461486 100644 --- a/src/algebra/strap/FPS-.lsp +++ b/src/algebra/strap/FPS-.lsp @@ -22,7 +22,7 @@ (|getShellEntry| $ 16)) 13301)) |FPS-;digits;Pi;2|) - (|check-subtype| (AND (NOT (< #0# 0)) (< 0 #0#)) + (|check-subtype| (AND (>= #0# 0) (< 0 #0#)) '(|PositiveInteger|) #0#))))) (DEFUN |FloatingPointSystem&| (|#1|) |