diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index e4bd7d77d..dc5a5e703 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -402,8 +402,8 @@ class CVC4_PUBLIC SmtEngine { void addToModelCommandAndDump(const Command& c, uint32_t flags = 0, bool userVisible = true, const char* dumpTag = "declarations"); // disallow copy/assignment - SmtEngine(const SmtEngine&) CVC4_UNDEFINED; - SmtEngine& operator=(const SmtEngine&) CVC4_UNDEFINED; + SmtEngine(const SmtEngine&) = delete; + SmtEngine& operator=(const SmtEngine&) = delete; //check satisfiability (for query and check-sat) Result checkSatisfiability(const Expr& assumption, |