diff options
Diffstat (limited to 'src/main/util.cpp')
| -rw-r--r-- | src/main/util.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp index bc3d45287..abcdcc7c5 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -31,12 +31,12 @@ #include "base/exception.h" #include "base/tls.h" #include "cvc4autoconfig.h" -#include "expr/statistics.h" #include "main/command_executor.h" #include "main/main.h" #include "options/base_options.h" #include "options/options.h" #include "smt/smt_engine.h" +#include "util/statistics.h" using CVC4::Exception; using namespace std; |