From fcada914d525e97703ce8001e6054bb972eeb017 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Wed, 26 Mar 2014 14:10:21 -0700
Subject: [PATCH] duality fix

---
 src/duality/duality_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp
index d22cfe80f..7e36495b1 100755
--- a/src/duality/duality_solver.cpp
+++ b/src/duality/duality_solver.cpp
@@ -324,7 +324,7 @@ namespace Duality {
       last_decisions = 0;
       CreateEdgesByChildMap();
 #ifndef TOP_DOWN
-      void CreateInitialUnwinding();
+      CreateInitialUnwinding();
 #else
       CreateLeaves();
       for(unsigned i = 0; i < leaves.size(); i++)