aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/term.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/term.spad.pamphlet')
-rw-r--r--src/algebra/term.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/term.spad.pamphlet b/src/algebra/term.spad.pamphlet
index c3c3b321..5a64aa9b 100644
--- a/src/algebra/term.spad.pamphlet
+++ b/src/algebra/term.spad.pamphlet
@@ -52,7 +52,7 @@ Arity(): Public == Private where
error "arity is too large for OpenAxiom"
per(n::SingleInteger)
retractIfCan x ==
- (n := rep x) < 0 => "failed"
+ negative?(n := rep x) => "failed"
n@Integer::NonNegativeInteger
@