diff options
Diffstat (limited to 'src/smt_util/boolean_simplification.cpp')
-rw-r--r-- | src/smt_util/boolean_simplification.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/smt_util/boolean_simplification.cpp b/src/smt_util/boolean_simplification.cpp index 40f96a47c..13ae93dc3 100644 --- a/src/smt_util/boolean_simplification.cpp +++ b/src/smt_util/boolean_simplification.cpp @@ -18,10 +18,9 @@ namespace CVC4 { -bool -BooleanSimplification::push_back_associative_commute_recursive - (Node n, std::vector<Node>& buffer, Kind k, Kind notK, bool negateNode) - throw(AssertionException) { +bool BooleanSimplification::push_back_associative_commute_recursive( + Node n, std::vector<Node>& buffer, Kind k, Kind notK, bool negateNode) +{ Node::iterator i = n.begin(), end = n.end(); for(; i != end; ++i){ Node child = *i; |