diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2021-06-27 09:10:54 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2021-06-27 09:10:54 -0700 |
commit | 9dc109581a299973777ea5082f646d7ac7d82f7c (patch) | |
tree | 2100f716dd3cc16bc84e88c430c69dd18341ae21 /mpi | |
parent | 7264a34446de3b4760d00af7873ee3558fc9145b (diff) | |
download | txr-9dc109581a299973777ea5082f646d7ac7d82f7c.tar.gz txr-9dc109581a299973777ea5082f646d7ac7d82f7c.tar.bz2 txr-9dc109581a299973777ea5082f646d7ac7d82f7c.zip |
filter: remove useless statement.
* filter.c (trie_filter_string): There is no need to convert a
character to string for passing it as a second argument to
string_extend; it takes characters. Also this had beem coded
in a silly way: if chrp is true that implies !stringp.
Diffstat (limited to 'mpi')
0 files changed, 0 insertions, 0 deletions