aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/DIVRING.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/DIVRING.lsp')
-rw-r--r--src/algebra/strap/DIVRING.lsp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/DIVRING.lsp b/src/algebra/strap/DIVRING.lsp
index ce6499f5..804f4abb 100644
--- a/src/algebra/strap/DIVRING.lsp
+++ b/src/algebra/strap/DIVRING.lsp
@@ -4,11 +4,11 @@
(DEFPARAMETER |DivisionRing;AL| 'NIL)
(DEFUN |DivisionRing;| ()
- (PROG (#0=#:G1400)
+ (PROG (#0=#:G1401)
(RETURN
(PROG1 (LETT #0#
(|sublisV|
- (PAIR '(#1=#:G1399)
+ (PAIR '(#1=#:G1400)
(LIST '(|Fraction| (|Integer|))))
(|Join| (|EntireRing|) (|Algebra| '#1#)
(|mkCategory| '|domain|