diff options
Diffstat (limited to 'src/smt_util/lemma_channels.h')
-rw-r--r-- | src/smt_util/lemma_channels.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt_util/lemma_channels.h b/src/smt_util/lemma_channels.h index 67de37ed8..b2af0dfe4 100644 --- a/src/smt_util/lemma_channels.h +++ b/src/smt_util/lemma_channels.h @@ -60,10 +60,10 @@ class CVC4_PUBLIC LemmaChannels { private: // Disable copy constructor. - LemmaChannels(const LemmaChannels&) CVC4_UNDEFINED; + LemmaChannels(const LemmaChannels&) = delete; // Disable assignment operator. - LemmaChannels& operator=(const LemmaChannels&) CVC4_UNDEFINED; + LemmaChannels& operator=(const LemmaChannels&) = delete; /** This captures the old options::lemmaInputChannel .*/ LemmaInputChannel* d_lemmaInputChannel; |