correct output language bug with --dump-to

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index a9a7ef8c589affad0b50e013f3a67f35fde2f761..b429ad0c24967e4bb88477c11193f097648dc773 100644 (file)
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -180,6 +180,7 @@ int runCvc4(int argc, char* argv[], Options& opts) {
 
   // important even for muzzled builds (to get result output right)
   *opts[options::out] << Expr::setlanguage(opts[options::outputLanguage]);
+  DumpChannel.getStream() << Expr::setlanguage(opts[options::outputLanguage]);
 
   // Create the expression manager using appropriate options
 # ifndef PORTFOLIO_BUILD