aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-28 03:42:04 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-28 03:42:04 +0000
commit17a1e0707ae07bd90ef6a9fafb2432027507bbf2 (patch)
tree0176f5f63be750b81a6ca4bbecf5285363fe75fb
parent6058b44d19c4c9a101cfbb94923d7abd565010ee (diff)
downloadopen-axiom-17a1e0707ae07bd90ef6a9fafb2432027507bbf2.tar.gz
Fix typo
-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