diff options
Diffstat (limited to 'src/context/cdlist.h')
-rw-r--r-- | src/context/cdlist.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/context/cdlist.h b/src/context/cdlist.h index 8fcc977af..834e363f9 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -113,7 +113,7 @@ protected: << " from " << &l << " size " << d_size << std::endl; } - CDList& operator=(const CDList& l) CVC4_UNDEFINED; + CDList& operator=(const CDList& l) = delete; private: /** |