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;