aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RING.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/RING.lsp')
-rw-r--r--src/algebra/strap/RING.lsp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp
index cf341577..4aec92ab 100644
--- a/src/algebra/strap/RING.lsp
+++ b/src/algebra/strap/RING.lsp
@@ -4,10 +4,10 @@
(DEFPARAMETER |Ring;AL| 'NIL)
(DEFUN |Ring;| ()
- (PROG (#0=#:G1398)
+ (PROG (#0=#:G1399)
(RETURN
(PROG1 (LETT #0#
- (|sublisV| (PAIR '(#1=#:G1397) (LIST '(|Integer|)))
+ (|sublisV| (PAIR '(#1=#:G1398) (LIST '(|Integer|)))
(|Join| (|Rng|) (|Monoid|) (|LeftModule| '$)
(|CoercibleFrom| '#1#)
(|mkCategory| '|package|