1 files changed, 3 insertions, 1 deletions
diff --git a/src/main.c b/src/main.c
index ca1d2f3..f478b6d 100644
--- a/src/main.c
+++ b/src/main.c
@@ -7,11 +7,13 @@
 
 #include "alloc.h"
 #include "codegen.h"
+#include "common.h"
 #include "errors.h"
 #include "lexer.h"
 #include "parser.h"
 
-static char *readfile(const char *, size_t *);
+static char *readfile(const char *, size_t *)
+	__attribute__((returns_nonnull, nonnull));
 
 int
 main(int argc, char **argv)