diff options
Diffstat (limited to 'src/main/portfolio.cpp')
-rw-r--r-- | src/main/portfolio.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp index ea7e3d458..22f3a67ae 100644 --- a/src/main/portfolio.cpp +++ b/src/main/portfolio.cpp @@ -20,11 +20,10 @@ #include <boost/exception_ptr.hpp> #include "base/output.h" -#include "expr/statistics_registry.h" #include "options/options.h" #include "smt/smt_engine.h" #include "util/result.h" - +#include "util/statistics_registry.h" namespace CVC4 { |