diff options
-rw-r--r-- | src/smt/smt_engine.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 4b981f614..72237ff1c 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -361,6 +361,10 @@ class CVC4_PUBLIC SmtEngine { */ Model* getModel() throw(ModalException); + // disallow copy/assignment + SmtEngine(const SmtEngine&) CVC4_UNDEFINED; + SmtEngine& operator=(const SmtEngine&) CVC4_UNDEFINED; + public: /** |