diff options
Diffstat (limited to 'src/theory/arith/tableau.h')
| -rw-r--r-- | src/theory/arith/tableau.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/tableau.h b/src/theory/arith/tableau.h index 2ab94c195..7237c3a54 100644 --- a/src/theory/arith/tableau.h +++ b/src/theory/arith/tableau.h @@ -94,7 +94,7 @@ public: void subsitute(Row& row_s){ TNode x_s = row_s.basicVar(); - Assert(!has(x_s)); + Assert(has(x_s)); Assert(x_s != d_x_i); |