diff options
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 73006b44..aa851141 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 CDR $TypeEQ]) + $TypeEqui := CONS(CAR $TypeEQ, [[b,:a] for [a,:b] in rest $TypeEQ]) true initializeRuleSets() == |