diff options
Diffstat (limited to 'src/theory/arith/matrix.h')
| -rw-r--r-- | src/theory/arith/matrix.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/matrix.h b/src/theory/arith/matrix.h index 73235d490..6c218eb0b 100644 --- a/src/theory/arith/matrix.h +++ b/src/theory/arith/matrix.h @@ -39,6 +39,7 @@ const RowIndex ROW_INDEX_SENTINEL = std::numeric_limits<RowIndex>::max(); class CoefficientChangeCallback { public: + virtual ~CoefficientChangeCallback() {} virtual void update(RowIndex ridx, ArithVar nb, int oldSgn, int currSgn) = 0; virtual void multiplyRow(RowIndex ridx, int Sgn) = 0; virtual bool canUseRow(RowIndex ridx) const = 0; |