diff options
Diffstat (limited to 'src/algebra/strap/INT.lsp')
| -rw-r--r-- | src/algebra/strap/INT.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 363727ff..ec1689fe 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -161,7 +161,7 @@ |INT;<=;2$B;37|)) (PUT '|INT;<=;2$B;37| '|SPADreplace| - '(XLAM (|x| |y|) (NOT (> |x| |y|)))) + '(XLAM (|x| |y|) (|%not| (> |x| |y|)))) (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Integer| |%Shell|) |%Boolean|) |INT;>=;2$B;38|)) |