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 2732eaea7..27fdc3d28 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_UNUSED; - BooleanSimplification(const BooleanSimplification&) CVC4_UNUSED; + BooleanSimplification() CVC4_UNDEFINED; + BooleanSimplification(const BooleanSimplification&) CVC4_UNDEFINED; static bool push_back_associative_commute_recursive (Node n, std::vector<Node>& buffer, Kind k, Kind notK, bool negateNode) |