diff options
Diffstat (limited to 'src/xact.cc')
| -rw-r--r-- | src/xact.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/xact.cc b/src/xact.cc index ae571b62..b581db95 100644 --- a/src/xact.cc +++ b/src/xact.cc @@ -565,7 +565,6 @@ bool xact_t::valid() const } namespace { - bool post_pred(expr_t::ptr_op_t op, post_t& post) { switch (op->kind) { @@ -582,6 +581,9 @@ namespace { else break; + case expr_t::op_t::O_EQ: + return post_pred(op->left(), post) == post_pred(op->right(), post); + case expr_t::op_t::O_NOT: return ! post_pred(op->left(), post); @@ -604,8 +606,7 @@ namespace { throw_(calc_error, _("Unhandled operator")); return false; } - -} // unnamed namespace +} void auto_xact_t::extend_xact(xact_base_t& xact) { |