1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/env.cpp b/src/smt/env.cpp
index 38e93f38e..d079682c5 100644
--- a/src/smt/env.cpp
+++ b/src/smt/env.cpp
@@ -25,6 +25,7 @@
 #include "smt/smt_engine_stats.h"
 #include "theory/rewriter.h"
 #include "util/resource_manager.h"
+#include "util/statistics_registry.h"
 
 using namespace cvc5::smt;