diff options
Diffstat (limited to 'src/theory/rewriter.h')
| -rw-r--r-- | src/theory/rewriter.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/rewriter.h b/src/theory/rewriter.h index eda5dcf26..cc948ae7c 100644 --- a/src/theory/rewriter.h +++ b/src/theory/rewriter.h @@ -72,8 +72,8 @@ class Rewriter { TNode node, TNode cache); // disable construction of rewriters; all functionality is static - Rewriter() CVC4_UNDEFINED; - Rewriter(const Rewriter&) CVC4_UNDEFINED; + Rewriter() = delete; + Rewriter(const Rewriter&) = delete; /** * Rewrites the node using the given theory rewriter. |