diff options
Diffstat (limited to 'src/theory/subs_minimize.cpp')
| -rw-r--r-- | src/theory/subs_minimize.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/subs_minimize.cpp b/src/theory/subs_minimize.cpp index c230c578c..f6ebb628a 100644 --- a/src/theory/subs_minimize.cpp +++ b/src/theory/subs_minimize.cpp @@ -426,8 +426,8 @@ bool SubstitutionMinimize::isSingularArg(Node n, Kind k, unsigned arg) return true; } } - if (k == BITVECTOR_AND || k == BITVECTOR_MULT || k == BITVECTOR_UDIV_TOTAL - || k == BITVECTOR_UREM_TOTAL + if (k == BITVECTOR_AND || k == BITVECTOR_MULT || k == BITVECTOR_UDIV + || k == BITVECTOR_UREM || (arg == 0 && (k == BITVECTOR_SHL || k == BITVECTOR_LSHR || k == BITVECTOR_ASHR))) |