Rename meta predicates.

This commit is contained in:
Dominik Pantůček 2023-04-11 22:27:27 +02:00
parent 3ef6c0b628
commit bf2b8ef23a
4 changed files with 15 additions and 15 deletions

View file

@ -276,8 +276,8 @@
(if (null? mb)
num
(loop (cdr mb)
(if (or (member-has-problems? (car mb))
(member-has-highlights? (car mb)))
(if (or (brmember-has-problems? (car mb))
(brmember-has-highlights? (car mb)))
(let ()
(newline)
(print-member-table (car mb))