aboutsummaryrefslogtreecommitdiff
path: root/grammar.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2021-01-10 00:39:34 -0800
committerBruce Hill <bruce@bruce-hill.com>2021-01-10 00:39:34 -0800
commitb8a5d399d76efd983255e26eea38029e358cc381 (patch)
treeddb285a23970f88b49e43b156d126eb74151dfa2 /grammar.h
parentf4a7b80b4ff63d6610142b417cbadd6526339ae4 (diff)
Removing unnecessary fields
Diffstat (limited to 'grammar.h')
-rw-r--r--grammar.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/grammar.h b/grammar.h
index 7aa92fc..5f03bc9 100644
--- a/grammar.h
+++ b/grammar.h
@@ -7,8 +7,8 @@
#include "file_loader.h"
#include "types.h"
-__attribute__((nonnull(1,3,4,5)))
-void add_def(grammar_t *g, file_t *f, const char *src, const char *name, vm_op_t *op);
+__attribute__((nonnull(1,3,4)))
+void add_def(grammar_t *g, file_t *f, const char *name, vm_op_t *op);
__attribute__((nonnull))
void push_backref(grammar_t *g, const char *name, match_t *capture);
__attribute__((nonnull))