diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-26 02:49:04 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-26 02:49:04 +0000 |
| commit | 4d2e94d7512864a3ef79698daa1b2b90b694b790 (patch) | |
| tree | c17bdf26fc40c47a09f4e9f1d208820f5784c5a6 /src/algebra/strap/POLYCAT-.lsp | |
| parent | 86f5b5568ab4013e6fd8575e16b01d9d1aa99e91 (diff) | |
| download | open-axiom-4d2e94d7512864a3ef79698daa1b2b90b694b790.tar.gz | |
* interp/g-opt.boot (optCond): Simplify newly built COND-expression.
Diffstat (limited to 'src/algebra/strap/POLYCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index 13c315ef..6430677d 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -745,7 +745,7 @@ "failed"))) (T (LET - ((#10=#:G1612 + ((#10=#:G1610 (CDR |nd|))) (|check-subtype| (NOT @@ -809,14 +809,14 @@ (T (SEQ (LETT |i| 0 |POLYCAT-;conditionP;MU;27|) (EXIT (CONS 0 (LET - ((#14=#:G1611 + ((#14=#:G1612 (|makeSimpleArray| (|getVMType| (|getShellEntry| $ 6)) (SIZE |monslist|)))) (LET ((#15=#:G1728 |monslist|) - (#16=#:G1610 0)) + (#16=#:G1611 0)) (LOOP (COND ((ATOM #15#) (RETURN #14#)) |