aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/OINTDOM.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/OINTDOM.lsp')
-rw-r--r--src/algebra/strap/OINTDOM.lsp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/OINTDOM.lsp b/src/algebra/strap/OINTDOM.lsp
index e03dfea0..c7f20569 100644
--- a/src/algebra/strap/OINTDOM.lsp
+++ b/src/algebra/strap/OINTDOM.lsp
@@ -4,7 +4,7 @@
(DEFPARAMETER |OrderedIntegralDomain;AL| 'NIL)
(DEFUN |OrderedIntegralDomain;| ()
- (PROG (#0=#:G1397)
+ (PROG (#0=#:G1398)
(RETURN
(PROG1 (LETT #0# (|Join| (|IntegralDomain|) (|OrderedRing|))
|OrderedIntegralDomain|)