1 files changed, 0 insertions, 2 deletions
diff --git a/match.h b/match.h
index f297350..9530321 100644
--- a/match.h
+++ b/match.h
@@ -14,8 +14,6 @@ __attribute__((hot, nonnull(2,3,4)))
 match_t *match(def_t *defs, file_t *f, const char *str, pat_t *pat, unsigned int flags);
 __attribute__((nonnull))
 match_t *get_capture(match_t *m, const char **id);
-__attribute__((nonnull))
-void destroy_pat(pat_t *pat);
 match_t *new_match(void);
 __attribute__((nonnull))
 void recycle_if_unused(match_t **at_m);