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/bv_to_bool.cpp | |
| parent | 4316ad4be1f9bd9fb0842a84804f2642318cb893 (diff) | |
Removing an always true comparison (unsigned) >= 0u. (#1582)
Diffstat (limited to 'src/theory/bv/bv_to_bool.cpp')
0 files changed, 0 insertions, 0 deletions