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 884c3eda7..ea7e3d458 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/result.h" #include "expr/statistics_registry.h" #include "options/options.h" #include "smt/smt_engine.h" - +#include "util/result.h" namespace CVC4 { |