1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp
index f8cb0677c..92902ac11 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -24,7 +24,6 @@
 
 #include "base/output.h"
 #include "expr/expr_manager.h"
-#include "expr/statistics.h"
 #include "main/command_executor.h"
 #include "main/interactive_shell.h"
 #include "options/base_options.h"
@@ -37,6 +36,7 @@
 #include "smt_util/command.h"
 #include "util/configuration.h"
 #include "util/result.h"
+#include "util/statistics.h"
 
 using namespace std;
 using namespace CVC4;