diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:42:04 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:42:04 +0000 |
| commit | 17a1e0707ae07bd90ef6a9fafb2432027507bbf2 (patch) | |
| tree | 0176f5f63be750b81a6ca4bbecf5285363fe75fb | |
| parent | 6058b44d19c4c9a101cfbb94923d7abd565010ee (diff) | |
| download | open-axiom-17a1e0707ae07bd90ef6a9fafb2432027507bbf2.tar.gz | |
Fix typo
| -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 |