From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 6 Dec 2012 23:42:43 +0000 (-0500)
Subject: Fix to portfolio builds
X-Git-Tag: cvc5-1.0.0~7391^2~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d0d0b56d1383f1ad4027d8e6dc739c12cacced8;p=cvc5.git

Fix to portfolio builds
(cherry picked from commit f46ba71e78054af63b529eb3271952c55beba37e)
---

diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h
index 80c653eca..eff8d6a7e 100644
--- a/src/main/portfolio_util.h
+++ b/src/main/portfolio_util.h
@@ -46,6 +46,8 @@ public:
     cnt(0)
   {}
 
+  ~PortfolioLemmaOutputChannel() throw() { }
+
   void notifyNewLemma(Expr lemma) {
     if(int(lemma.getNumChildren()) > options::sharingFilterByLength()) {
       return;
@@ -84,6 +86,8 @@ public:
     d_pickler(em, to, from){
   }
 
+  ~PortfolioLemmaInputChannel() throw() { }
+
   bool hasNewLemma(){
     Debug("lemmaInputChannel") << d_tag << ": " << "hasNewLemma" << std::endl;
     return !d_sharedChannel->empty();