diff options
Diffstat (limited to 'src/theory/arith/tableau.cpp')
| -rw-r--r-- | src/theory/arith/tableau.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/tableau.cpp b/src/theory/arith/tableau.cpp index aa4c3d454..82b46bf30 100644 --- a/src/theory/arith/tableau.cpp +++ b/src/theory/arith/tableau.cpp @@ -102,7 +102,7 @@ void Tableau::addRow(ArithVar basic, { Assert(basic < getNumColumns()); Assert(debugIsASet(variables)); - Assert(coefficients.size() == variables.size() ); + Assert(coefficients.size() == variables.size()); Assert(!isBasic(basic)); RowIndex newRow = Matrix<Rational>::addRow(coefficients, variables); |