diff options
Diffstat (limited to 'definitions.h')
| -rw-r--r-- | definitions.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/definitions.h b/definitions.h index 6017b59..d5b108d 100644 --- a/definitions.h +++ b/definitions.h @@ -9,8 +9,6 @@ __attribute__((nonnull(3,4), returns_nonnull)) def_t *with_def(def_t *defs, size_t namelen, const char *name, pat_t *pat); -__attribute__((nonnull(2,4,5), returns_nonnull)) -def_t *with_backref(def_t *defs, file_t *f, size_t namelen, const char *name, match_t *m); __attribute__((nonnull(2))) def_t *load_grammar(def_t *defs, file_t *f); __attribute__((pure, nonnull(3))) |