diff options
Diffstat (limited to 'src/context/cdo.h')
-rw-r--r-- | src/context/cdo.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/context/cdo.h b/src/context/cdo.h index 3cb646d6c..da6c8d338 100644 --- a/src/context/cdo.h +++ b/src/context/cdo.h @@ -50,7 +50,7 @@ protected: /** * operator= for CDO is private to ensure CDO object is not copied. */ - CDO<T>& operator=(const CDO<T>& cdo) CVC4_UNDEFINED; + CDO<T>& operator=(const CDO<T>& cdo) = delete; /** * Implementation of mandatory ContextObj method save: simply copies the |