diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index 33b9146c..0fc67e15 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -642,7 +642,7 @@ namespace Microsoft.Boogie { Console.WriteLine("Execution trace:");
error.Print(4);
}
- if (CommandLineOptions.Clo.ModelView == 1) {
+ if (CommandLineOptions.Clo.ModelViewFile != null) {
error.PrintModel();
}
errorCount++;
|