diff options
Diffstat (limited to 'src/smt_util/boolean_simplification.h')
-rw-r--r-- | src/smt_util/boolean_simplification.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt_util/boolean_simplification.h b/src/smt_util/boolean_simplification.h index 6274d0dbd..8e4d8aa25 100644 --- a/src/smt_util/boolean_simplification.h +++ b/src/smt_util/boolean_simplification.h @@ -35,8 +35,8 @@ namespace CVC4 { */ class BooleanSimplification { // cannot construct one of these - BooleanSimplification() CVC4_UNDEFINED; - BooleanSimplification(const BooleanSimplification&) CVC4_UNDEFINED; + BooleanSimplification() = delete; + BooleanSimplification(const BooleanSimplification&) = delete; static bool push_back_associative_commute_recursive( Node n, std::vector<Node>& buffer, Kind k, Kind notK, bool negateNode) |