From 7b1b91e940fd8ec7ac60074c843eb08f5715bc91 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Sat, 10 Jan 2015 11:01:14 +0000
Subject: Removed unnecessary stage-related attributes from candidate
 annotations.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'Source/ExecutionEngine')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index ae833dbf..90da808a 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1361,10 +1361,8 @@ namespace Microsoft.Boogie
     private static PipelineOutcome RunStagedHoudini(Program program, PipelineStatistics stats, ErrorReporterDelegate er)
     {
       Houdini.HoudiniSession.HoudiniStatistics houdiniStats = new Houdini.HoudiniSession.HoudiniStatistics();
-      // TODO - pass this in somewhere
-
-      Houdini.StagedHoudini houdini = new Houdini.StagedHoudini(program, ProgramFromFile);
-      Houdini.HoudiniOutcome outcome = houdini.PerformStagedHoudiniInference();
+      Houdini.StagedHoudini stagedHoudini = new Houdini.StagedHoudini(program, houdiniStats, ProgramFromFile);
+      Houdini.HoudiniOutcome outcome = stagedHoudini.PerformStagedHoudiniInference();
 
       if (CommandLineOptions.Clo.PrintAssignment)
       {
-- 
cgit v1.2.3