fix to inequality rewrite
authorlianah <lianahady@gmail.com>
Sat, 14 Jun 2014 18:18:45 +0000 (14:18 -0400)
committerlianah <lianahady@gmail.com>
Sat, 14 Jun 2014 18:18:45 +0000 (14:18 -0400)
commit61e3aa5a2483aeb02ec76380725f842471451927
tree7cdf6df87d9a108aa619aa3a4e801bb926df9653
parentd039293e5864502d454c6078790ea403cf3db869
fix to inequality rewrite
src/theory/bv/theory_bv_rewrite_rules_simplification.h