diff options
Diffstat (limited to 'Source/Provers/Z3/Prover.cs')
| -rw-r--r-- | Source/Provers/Z3/Prover.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Prover.cs b/Source/Provers/Z3/Prover.cs index 33e622ba..f218d3b6 100644 --- a/Source/Provers/Z3/Prover.cs +++ b/Source/Provers/Z3/Prover.cs @@ -70,7 +70,7 @@ namespace Microsoft.Boogie.Z3 {
return CommandLineOptions.Clo.PrintErrorModel >= 1 ||
CommandLineOptions.Clo.EnhancedErrorMessages == 1 ||
- CommandLineOptions.Clo.ModelView > 0 ||
+ CommandLineOptions.Clo.ModelViewFile != null ||
CommandLineOptions.Clo.ContractInfer ||
CommandLineOptions.Clo.LazyInlining > 0 ||
CommandLineOptions.Clo.StratifiedInlining > 0;
|