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 // for uint16_t, uint64_t #include // for malloc, NULL +#ifdef DIGRAPHS_ENABLE_STATS +#include // for printf +#endif + // GAP headers #include "gap-includes.h"