diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-19 18:38:33 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 23:25:39 +0200 |
| commit | 0de9fc21de2cc26038b9b07d3b80e9c5cd84ec30 (patch) | |
| tree | f9d5fd7b763f4b9d938e7021bb2d7aee4a75044c /validation | |
| parent | 06ce9117090be44b6b1b5b34c074f6605f1d9a7d (diff) | |
| download | sparse-dev-0de9fc21de2cc26038b9b07d3b80e9c5cd84ec30.tar.gz | |
remove now unused match_idents()
match_idents() is now unused and identifier matching should
preferably be done via the keyword table.
So, remove this function.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions