Disallow copy/assignment of SmtEngine.

diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index 4b981f61416c33a6fa66988b904bc63fe92aadcf..72237ff1ca2db7b1b03bba9e9a9a99ea9f8688a8 100644 (file)
--- 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:
 
   /**