diff options
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
| -rw-r--r-- | src/algebra/strap/NNI.lsp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 8ec72966..1288e89c 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -37,9 +37,8 @@ ((< |c| 0) (CONS 1 "failed")) ('T (CONS 0 - (PROG1 |c| - (|check-subtype| (>= |c| 0) - '(|NonNegativeInteger|) |c|)))))))))) + (|check-subtype| (>= |c| 0) + '(|NonNegativeInteger|) |c|))))))))) (DEFUN |NonNegativeInteger| () (PROG () |