diff options
| -rw-r--r-- | src/interp/cattable.boot | 4 |
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 |