1 files changed, 5 insertions, 0 deletions
diff --git a/src/pinocchio.h b/src/pinocchio.h
index 0c19def..fb74f3c 100644
--- a/src/pinocchio.h
+++ b/src/pinocchio.h
@@ -20,5 +20,10 @@ typedef struct {
 } ast_t;
 
 void astprocess(ast_t);
+void user_error(const char *, ...)
+#if __GNUC__
+	__attribute__((format(printf, 1, 2)))
+#endif
+	;
 
 #endif /* !PINOCCIO_H */