From ea11028b1f235fc9c9b297c756b1036041745a32 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Sat, 10 Mar 2012 23:28:58 -0800
Subject: houdini cleanup continued

---
 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 b765a1c3..ed70f14e 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -608,7 +608,7 @@ namespace Microsoft.Boogie {
 
       #region Run Houdini and verify
       if (CommandLineOptions.Clo.ContractInfer) {
-        Houdini.Houdini houdini = new Houdini.Houdini(program, true);
+        Houdini.Houdini houdini = new Houdini.Houdini(program);
         Houdini.HoudiniOutcome outcome = houdini.PerformHoudiniInference();
         if (CommandLineOptions.Clo.PrintAssignment) {
           Console.WriteLine("Assignment computed by Houdini:");
-- 
cgit v1.2.3