diff options
Diffstat (limited to 'src/compare.cc')
| -rw-r--r-- | src/compare.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compare.cc b/src/compare.cc index 015c28bc..79e49461 100644 --- a/src/compare.cc +++ b/src/compare.cc @@ -39,7 +39,7 @@ namespace { void push_sort_value(std::list<sort_value_t>& sort_values, expr_t::ptr_op_t node, T * scope) { - if (node->kind == expr_t::op_t::O_COMMA) { + 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); } |