diff options
Diffstat (limited to 'src/api/cvc4cpp.h')
| -rw-r--r-- | src/api/cvc4cpp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index c3c429009..0d05c9b19 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -1303,8 +1303,8 @@ class CVC4_PUBLIC Solver /** * Disallow copy/assignment. */ - Solver(const Solver&) CVC4_UNDEFINED; - Solver& operator=(const Solver&) CVC4_UNDEFINED; + Solver(const Solver&) = delete; + Solver& operator=(const Solver&) = delete; /* .................................................................... */ /* Sorts Handling */ |