diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-29 05:59:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-29 05:59:06 +0000 |
| commit | d6d284af63e89085e704e27c2f8c893c0ebc2e1a (patch) | |
| tree | aa3680ecbd0f5965a6aba6981bdb097af5ed9816 /src/interp/rulesets.boot | |
| parent | e8f38c351d90d6dea371a9ac15d2c4906bff9910 (diff) | |
| download | open-axiom-d6d284af63e89085e704e27c2f8c893c0ebc2e1a.tar.gz | |
* interp/i-funsel.boot (matchMmSig): Fix thinko from revision 1297.
Diffstat (limited to 'src/interp/rulesets.boot')
| -rw-r--r-- | src/interp/rulesets.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/rulesets.boot b/src/interp/rulesets.boot index aa851141..a2a05ed5 100644 --- a/src/interp/rulesets.boot +++ b/src/interp/rulesets.boot @@ -295,7 +295,7 @@ createTypeEquivRules() == ((QF (P t1)) . (RF t1)) ((QF (I)) . (RN)) ((RE (RN)) . (RR)) ))) - $TypeEqui := CONS(CAR $TypeEQ, [[b,:a] for [a,:b] in rest $TypeEQ]) + $TypeEqui := CONS(first $TypeEQ, [[b,:a] for [a,:b] in rest $TypeEQ]) true initializeRuleSets() == |