Rename destroy_op -> destroy_pat

1 files changed, 1 insertions, 1 deletions

diff --git a/vm.h b/vm.h
index 5f06b82..a0b73b3 100644
--- a/vm.h
+++ b/vm.h
@@ -15,7 +15,7 @@ match_t *match(def_t *defs, file_t *f, const char *str, pat_t *op, unsigned int
 __attribute__((nonnull))
 match_t *get_capture(match_t *m, const char **id);
 __attribute__((nonnull))
-void destroy_op(pat_t *op);
+void destroy_pat(pat_t *op);
 match_t *new_match(void);
 __attribute__((nonnull))
 void recycle_if_unused(match_t **at_m);