From db51926b5ce806754fc26c81b1b7d3e739fc4fc5 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 9 Jun 2014 10:40:17 -0400 Subject: [PATCH] Disallow copy/assignment of SmtEngine. --- src/smt/smt_engine.h | 4 ++++ 1 file changed, 4 insertions(+) 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: /** -- 2.30.2