aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/NNI.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
-rw-r--r--src/algebra/strap/NNI.lsp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index 184b8ab6..eba910e6 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -33,7 +33,7 @@
(DEFUN |NNI;subtractIfCan;2$U;3| (|x| |y| $)
(LET ((|c| (- |x| |y|)))
(COND
- ((< |c| 0) (CONS 1 "failed"))
+ ((MINUSP |c|) (CONS 1 "failed"))
('T
(CONS 0
(|check-subtype| (>= |c| 0) '(|NonNegativeInteger|) |c|))))))