diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2020-12-14 20:58:13 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2020-12-14 20:58:13 -0800 |
| commit | 0a5eebdafa212c5671d4c960aa7b85df066de608 (patch) | |
| tree | a96ee185d8e03528676d1dce31292770c01b2d15 /vm.h | |
| parent | 01522b619f57de5924ff1af4659170349103540b (diff) | |
Removing dead code
Diffstat (limited to 'vm.h')
| -rw-r--r-- | vm.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -22,8 +22,6 @@ match_t *match(grammar_t *g, file_t *f, const char *str, vm_op_t *op, unsigned i __attribute__((nonnull)) void destroy_match(match_t **m); __attribute__((nonnull)) -void print_pattern(vm_op_t *op); -__attribute__((nonnull)) void print_match(file_t *f, match_t *m, print_options_t options); __attribute__((nonnull)) void json_match(FILE *f, const char *text, match_t *m); |
