Whitespace fix

This commit is contained in:
John Wiegley 2009-11-10 02:25:36 -05:00
parent 3e39329eff
commit c8013c04d4

View file

@ -44,8 +44,7 @@ void push_sort_value(std::list<sort_value_t>& sort_values,
if (node->kind == expr_t::op_t::O_CONS) { if (node->kind == expr_t::op_t::O_CONS) {
push_sort_value(sort_values, node->left(), scope); push_sort_value(sort_values, node->left(), scope);
push_sort_value(sort_values, node->right(), scope); push_sort_value(sort_values, node->right(), scope);
} } else {
else {
bool inverted = false; bool inverted = false;
if (node->kind == expr_t::op_t::O_NEG) { if (node->kind == expr_t::op_t::O_NEG) {