Rename destroy_op -> destroy_pat

3 files changed, 3 insertions, 3 deletions

diff --git a/file_loader.c b/file_loader.c
index a8fa98c..9a07ced 100644
--- a/file_loader.c
+++ b/file_loader.c
@@ -153,7 +153,7 @@ void destroy_file(file_t **f)
 
     for (allocated_op_t *next; (*f)->ops; (*f)->ops = next) {
         next = (*f)->ops->next;
-        destroy_op(&(*f)->ops->op);
+        destroy_pat(&(*f)->ops->op);
         xfree(&(*f)->ops);
     }
 
diff --git a/vm.c b/vm.c
index 213e697..8c5d3a0 100644
--- a/vm.c
+++ b/vm.c
@@ -667,7 +667,7 @@ size_t free_all_matches(void)
 //
 // Deallocate memory associated with an op
 //
-void destroy_op(pat_t *op)
+void destroy_pat(pat_t *op)
 {
     switch (op->type) {
         case VM_STRING: case VM_REF:
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);