diff options
-rw-r--r-- | src/theory/arith/row_vector.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/row_vector.h b/src/theory/arith/row_vector.h index 2c88721ea..d68f8bc30 100644 --- a/src/theory/arith/row_vector.h +++ b/src/theory/arith/row_vector.h @@ -104,8 +104,7 @@ public: /** Returns true if the variable is in the row. */ bool has(ArithVar x_j) const{ - NonZeroIterator lb = lower_bound(x_j); - return getArithVar(*lb) == x_j; + return std::binary_search(d_entries.begin(), d_entries.end(), make_pair(x_j,0), cmp); } /** |