diff --git a/src/smt/diff_logic.h b/src/smt/diff_logic.h
index f6576a41f..7216bba7e 100644
--- a/src/smt/diff_logic.h
+++ b/src/smt/diff_logic.h
@@ -21,6 +21,7 @@ Revision History:
 
 #include"vector.h"
 #include"heap.h"
+#include"statistics.h"
 #include"trace.h"
 #include"warning.h"