From e539789d9fe8c390e6e39512975466bc9aa0fd7a Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Tue, 29 Oct 2024 09:57:43 +0000
Subject: [PATCH] Attempt to fix the cpplint ci job

---
 src/homos.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/homos.c b/src/homos.c
index 962a106c8..0ee74d1ba 100644
--- 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"