aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/EUCDOM.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/EUCDOM.lsp')
-rw-r--r--src/algebra/strap/EUCDOM.lsp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp
index b4b66503..fae7626f 100644
--- a/src/algebra/strap/EUCDOM.lsp
+++ b/src/algebra/strap/EUCDOM.lsp
@@ -4,7 +4,7 @@
(DEFPARAMETER |EuclideanDomain;AL| 'NIL)
(DEFUN |EuclideanDomain;| ()
- (PROG (#0=#:G1413)
+ (PROG (#0=#:G1414)
(RETURN
(PROG1 (LETT #0#
(|Join| (|PrincipalIdealDomain|)