diff options
Diffstat (limited to 'src/theory/arith/row_vector.cpp')
-rw-r--r-- | src/theory/arith/row_vector.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/row_vector.cpp b/src/theory/arith/row_vector.cpp index 9159d3d6f..8edfb8612 100644 --- a/src/theory/arith/row_vector.cpp +++ b/src/theory/arith/row_vector.cpp @@ -182,7 +182,7 @@ ReducedRowVector::ReducedRowVector(ArithVar basic, const std::vector<ArithVar>& variables, const std::vector<Rational>& coefficients, std::vector<uint32_t>& counts, - std::vector<ArithVarSet>& cm): + std::vector<PermissiveBackArithVarSet>& cm): d_basic(basic), d_rowCount(counts), d_columnMatrix(cm) { zip(variables, coefficients, d_entries); |