diff options
Diffstat (limited to 'src/interp/cattable.boot')
| -rw-r--r-- | src/interp/cattable.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 56b00384..cc3afea7 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -100,7 +100,7 @@ simpHasPred(pred,:options) == main where form := ["has",a := first r,['ATTRIBUTE,b := simpDevaluate second r]] simpHasAttribute(form,a,b) op in '(AND OR NOT) => - null (u := MKPF([simp p for p in r],op)) => nil + null (u := mkpf([simp p for p in r],op)) => nil u is '%true or u is '(QUOTE T) => true simpBool u op is 'hasArgs => ($hasArgs => $hasArgs = r; pred) |