aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/algebra/strap/RING.lsp3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp
index 4aec92ab..e661083d 100644
--- a/src/algebra/strap/RING.lsp
+++ b/src/algebra/strap/RING.lsp
@@ -12,7 +12,8 @@
(|CoercibleFrom| '#1#)
(|mkCategory| '|package|
'(((|characteristic|
- ((|NonNegativeInteger|)))
+ ((|NonNegativeInteger|))
+ |constant|)
T))
'((|unitsKnown| T))
'((|NonNegativeInteger|)) NIL)))