diff options
Diffstat (limited to 'src/main/portfolio_util.h')
-rw-r--r-- | src/main/portfolio_util.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h index 6ebd97d3d..5b2152728 100644 --- a/src/main/portfolio_util.h +++ b/src/main/portfolio_util.h @@ -49,7 +49,7 @@ public: ~PortfolioLemmaOutputChannel() {} - void notifyNewLemma(Expr lemma); + void notifyNewLemma(Expr lemma) override; };/* class PortfolioLemmaOutputChannel */ class PortfolioLemmaInputChannel : public LemmaInputChannel { @@ -67,8 +67,8 @@ public: ~PortfolioLemmaInputChannel() {} - bool hasNewLemma(); - Expr getNewLemma(); + bool hasNewLemma() override; + Expr getNewLemma() override; };/* class PortfolioLemmaInputChannel */ |