diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-02 12:12:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-02 19:12:15 +0000 |
| commit | 385ecf64fd4437ca15156a44b97f2001428dc1f5 (patch) | |
| tree | a4dcd59a6fc743f7cbe2508aa545fc950aff3600 /src/main/command_executor.cpp | |
| parent | 5516d995582f5ccfa6e8dcc17d6b7e3f0c56551a (diff) | |
cmake: Do not link against main object library. (#6269)
CMake 3.10.2 (default on Ubuntu 18.04) does not allow target_link_libraries on object libraries.
Diffstat (limited to 'src/main/command_executor.cpp')
| -rw-r--r-- | src/main/command_executor.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index b7e3ad8b0..75d116f33 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -18,6 +18,7 @@ # include <sys/resource.h> #endif /* ! __WIN32__ */ +#include <iomanip> #include <iostream> #include <memory> #include <string> @@ -25,6 +26,7 @@ #include "main/main.h" #include "smt/command.h" +#include "smt/smt_engine.h" namespace cvc5 { namespace main { |