aboutsummaryrefslogtreecommitdiff
path: root/src/interp/cattable.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/cattable.boot')
-rw-r--r--src/interp/cattable.boot4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot
index efd01af1..5366ee32 100644
--- a/src/interp/cattable.boot
+++ b/src/interp/cattable.boot
@@ -120,10 +120,10 @@ simpHasPred(pred,:options) == main where
b is ['ATTRIBUTE,attr] => simpHasAttribute(pred,a,attr)
b is ['SIGNATURE,op,sig] => simpHasSignature(pred,a,op,sig)
IDENTP a or hasIdent b => pred
- npred := eval pred
+ npred := evalHas pred
IDENTP npred or null hasIdent npred => npred
pred
- eval (pred := ["has",d,cat]) ==
+ evalHas (pred := ["has",d,cat]) ==
x := hasCat(first d,first cat)
y := rest cat =>
npred := or/[p for [args,:p] in x | y = args] => simp npred