diff options
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
| -rw-r--r-- | src/main/command_executor_portfolio.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index bb6487bf0..a1f737d1d 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -34,6 +34,7 @@ #include "options/main_options.h" #include "options/options.h" #include "options/printer_options.h" +#include "options/set_language.h" #include "options/smt_options.h" #include "smt_util/command.h" @@ -143,7 +144,7 @@ void CommandExecutorPortfolio::lemmaSharingInit() // important even for muzzled builds (to get result output right) *d_threadOptions[i][options::out] - << Expr::setlanguage(d_threadOptions[i][options::outputLanguage]); + << language::SetLanguage(d_threadOptions[i][options::outputLanguage]); } } }/* CommandExecutorPortfolio::lemmaSharingInit() */ |