diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-09 15:14:48 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-09 17:14:48 -0600 |
commit | 13af27ec180e73eecc846c99bd563f85577683ee (patch) | |
tree | 945152e50f21fde1e5f1aabad2374a1270e75cb2 /src/theory/bv/slicer.cpp | |
parent | 4316ad4be1f9bd9fb0842a84804f2642318cb893 (diff) |
Removing an always true comparison (unsigned) >= 0u. (#1582)
Diffstat (limited to 'src/theory/bv/slicer.cpp')
0 files changed, 0 insertions, 0 deletions