From 3e91037a4dc43c26c4d6f39629bc08f15d0b93ac Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Wed, 19 Mar 2014 12:37:05 -0700
Subject: [PATCH] duality fixes

---
 src/duality/duality_solver.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp
index 9c910a2e7..d22cfe80f 100755
--- a/src/duality/duality_solver.cpp
+++ b/src/duality/duality_solver.cpp
@@ -1729,6 +1729,8 @@ namespace Duality {
     class DerivationTree {
     public:
 
+      virtual ~DerivationTree(){}
+
       DerivationTree(Duality *_duality, RPFP *rpfp, Reporter *_reporter, Heuristic *_heuristic, bool _full_expand) 
 	: slvr(rpfp->slvr()),
 	  ctx(rpfp->ctx)
@@ -2207,6 +2209,7 @@ namespace Duality {
 
 	    if(ExpandSomeNodes(false,expand_max))
 	      continue;
+	    tree->Pop(1);
 	    while(stack.size() > 1){
 	      tree->Pop(1);	
 	      stack.pop_back();