diff options
| -rw-r--r-- | src/algebra/strap/RING.lsp | 3 |
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))) |