Attempt to fix the cpplint ci job

james-d-mitchell · Oct 29, 2024 · 62c7205 · 62c7205
1 parent 702a4b4
commit 62c7205
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/homos.c b/src/homos.c
@@ -33,6 +33,10 @@
 #include <stdint.h>   // for uint16_t, uint64_t
 #include <stdlib.h>   // for malloc, NULL
 
+#ifdef DIGRAPHS_ENABLE_STATS
+#include <cstdio>  // for printf
+#endif
+
 // GAP headers
 #include "gap-includes.h"