aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-07 09:42:48 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-07 09:42:48 -0800
commit57a9062689d64cd78081ffe2d19638cd5569d9b1 (patch)
treea854d13311441a98648ed12d5c017637d5a762c6 /src
parent191de261d5a6dde0e287e33431f9a62a36f67ffa (diff)
downloadopen-axiom-57a9062689d64cd78081ffe2d19638cd5569d9b1.tar.gz
ancestorsRecur: Tidy.
Diffstat (limited to 'src')
-rw-r--r--src/interp/br-data.boot4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot
index 6399277c..1d03c0ec 100644
--- a/src/interp/br-data.boot
+++ b/src/interp/br-data.boot
@@ -576,8 +576,8 @@ ancestorsRecur(conform,domform,pred,firstTime?) == --called by ancestorsOf
if domform and domform.args then
newdomform := applySubst(pairList(conform.args,domform.args),newform)
p := applySubst(pairList(conform.args,domform.args),p)
- newPred := quickAnd(pred,p)
- ancestorsAdd(simpHasPred newPred,newdomform or newform)
+ newPred := simpHasPred quickAnd(pred,p)
+ ancestorsAdd(newPred,newdomform or newform)
ancestorsRecur(newform,newdomform,newPred,false)
tableValue($done,conform) := pred --mark as already processed