aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/PI.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/PI.lsp')
-rw-r--r--src/algebra/strap/PI.lsp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp
index 6a746b65..d40bdae0 100644
--- a/src/algebra/strap/PI.lsp
+++ b/src/algebra/strap/PI.lsp
@@ -2,12 +2,12 @@
(/VERSIONCHECK 2)
(|noteSubDomainInfo| '|PositiveInteger| '(|NonNegativeInteger|)
- '(> |#1| 0))
+ '(|%igt| |#1| 0))
(DEFUN |PositiveInteger| ()
(PROG ()
(RETURN
- (PROG (#0=#:G1400)
+ (PROG (#0=#:G1401)
(RETURN
(COND
((LETT #0# (HGET |$ConstructorCache| '|PositiveInteger|)