diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-06 13:37:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-06 13:37:14 +0000 |
commit | 7d0cd86fd5243dc6d350e3ae7b4201698a82b69d (patch) | |
tree | b97fb43b5e1cd614dc21ead4d4dd1b19239eee59 /src/algebra/strap/QFCAT.lsp | |
parent | 4348e69c730e4e3faa7b993ac0dac5ec426a374c (diff) | |
download | open-axiom-7d0cd86fd5243dc6d350e3ae7b4201698a82b69d.tar.gz |
* interp/c-util.boot (mutateToBackendCode): Don't replace explicit
SETQ by LETT.
Diffstat (limited to 'src/algebra/strap/QFCAT.lsp')
-rw-r--r-- | src/algebra/strap/QFCAT.lsp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/strap/QFCAT.lsp b/src/algebra/strap/QFCAT.lsp index fcec7860..4a0941f2 100644 --- a/src/algebra/strap/QFCAT.lsp +++ b/src/algebra/strap/QFCAT.lsp @@ -11,7 +11,7 @@ (COND (|QuotientFieldCategory;CAT|) ('T - (LETT |QuotientFieldCategory;CAT| + (SETQ |QuotientFieldCategory;CAT| (|Join| (|Field|) (|Algebra| '|t#1|) (|RetractableTo| '|t#1|) (|FullyEvalableOver| '|t#1|) @@ -73,8 +73,7 @@ ((|PolynomialFactorizationExplicit|) (|has| |t#1| (|PolynomialFactorizationExplicit|)))) - 'NIL NIL)) - |QuotientFieldCategory|)))))) + 'NIL NIL)))))))) (|setShellEntry| #0# 0 (LIST '|QuotientFieldCategory| (|devaluate| |t#1|))) #0#)) |