diff options
Diffstat (limited to 'src/context/cdhashmap.h')
| -rw-r--r-- | src/context/cdhashmap.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index 94b507a7e..958c48e22 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -177,7 +177,7 @@ class CDOhash_map : public ContextObj { d_next(NULL) { } - CDOhash_map& operator=(const CDOhash_map&) CVC4_UNDEFINED; + CDOhash_map& operator=(const CDOhash_map&) = delete; public: CDOhash_map(Context* context, @@ -290,8 +290,8 @@ class CDHashMap : public ContextObj { void restore(ContextObj* data) override { Unreachable(); } // no copy or assignment - CDHashMap(const CDHashMap&) CVC4_UNDEFINED; - CDHashMap& operator=(const CDHashMap&) CVC4_UNDEFINED; + CDHashMap(const CDHashMap&) = delete; + CDHashMap& operator=(const CDHashMap&) = delete; public: CDHashMap(Context* context) |