diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 18:30:48 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 18:30:48 -0500 |
| commit | 8c5e895525ec87ba0285c281b45144eab79b66f9 (patch) | |
| tree | 44c6423fb1516cf5225520438affcda60d67bf3e /src | |
| parent | 9b70f290bb39bdddb840e9f6d2e15edf0c6b98f6 (diff) | |
| parent | fef10dcb3dce3454adca2ef19e1c0248e968645d (diff) | |
Merge branch '1.0.x'
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/driver_unified.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index a9a7ef8c5..b429ad0c2 100644 --- 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 |