Silence implicit declaration of 'printf' warning

Mihalis Rasoulis · Mihalis Rasoulis · commit e68a063ac695 · 2026-02-04T18:16:11.000+02:00
diff --git a/tests/axioms/int63.c b/tests/axioms/int63.c
@@ -1,3 +1,5 @@
+#include <stdio.h>
+
 unsigned long long zero_int63() {
   return 1;
 }
diff --git a/tests/axioms/int63_tinfo.c b/tests/axioms/int63_tinfo.c
@@ -1,3 +1,4 @@
+#include <stdio.h>
 #include "int63_tinfo.h"
 
 unsigned long long zero_int63() {
