Attempt to fix the cpplint ci job

digraphs · Oct 29, 2024 · e539789 · e539789
1 parent 702a4b4
commit e539789
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"