From 1b9f1ea6b32713078e9eff0ea60836be4a295364 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Mon, 23 Dec 2013 11:47:24 -0800
Subject: [PATCH] remove assert on failed label compuation in duality

---
 src/duality/duality_rpfp.cpp   | 2 +-
 src/duality/duality_solver.cpp | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/duality/duality_rpfp.cpp b/src/duality/duality_rpfp.cpp
index 036a0c86a..ec3e9164f 100644
--- a/src/duality/duality_rpfp.cpp
+++ b/src/duality/duality_rpfp.cpp
@@ -1492,7 +1492,7 @@ namespace Duality {
 	  }
 	}
 	/* Unreachable! */
-	throw "error in RPFP::GetLabelsRec";
+	// throw "error in RPFP::GetLabelsRec";
 	goto done;
       }
       else if(k == Not) {
diff --git a/src/duality/duality_solver.cpp b/src/duality/duality_solver.cpp
index 1faf838b0..f264d5569 100644
--- a/src/duality/duality_solver.cpp
+++ b/src/duality/duality_solver.cpp
@@ -1620,6 +1620,7 @@ namespace Duality {
 #ifdef USE_CACHING_RPFP
 	cache_ls->slvr->pop(1);
 	delete cache_ls;
+	tree->ls = rpfp->ls;
 #endif
 	timer_stop("Derive");
 	return res;