diff options
| -rw-r--r-- | src/compare.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compare.cc b/src/compare.cc index 65e6a1e3..36884a46 100644 --- a/src/compare.cc +++ b/src/compare.cc @@ -44,8 +44,7 @@ void push_sort_value(std::list<sort_value_t>& sort_values, if (node->kind == expr_t::op_t::O_CONS) { push_sort_value(sort_values, node->left(), scope); push_sort_value(sort_values, node->right(), scope); - } - else { + } else { bool inverted = false; if (node->kind == expr_t::op_t::O_NEG) { |