From 45fb2f73118bf4010ad08757122d829c76e676d3 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Tue, 12 Oct 2010 01:18:45 +0000
Subject: Make the -mv option use the new Model class.

---
 Source/BoogieDriver/BoogieDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/BoogieDriver')

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++;
-- 
cgit v1.2.3