diff options
Diffstat (limited to 'src/smt_util/boolean_simplification.cpp')
| -rw-r--r-- | src/smt_util/boolean_simplification.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt_util/boolean_simplification.cpp b/src/smt_util/boolean_simplification.cpp index b412a4418..01f1a6a5b 100644 --- a/src/smt_util/boolean_simplification.cpp +++ b/src/smt_util/boolean_simplification.cpp @@ -16,7 +16,7 @@ #include "smt_util/boolean_simplification.h" -namespace CVC4 { +namespace CVC5 { bool BooleanSimplification::push_back_associative_commute_recursive( Node n, std::vector<Node>& buffer, Kind k, Kind notK, bool negateNode) @@ -61,4 +61,4 @@ bool BooleanSimplification::push_back_associative_commute_recursive( return true; }/* BooleanSimplification::push_back_associative_commute_recursive() */ -}/* CVC4 namespace */ +} // namespace CVC5 |