diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-27 08:14:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-27 08:14:19 -0700 |
| commit | 8f8d2193277d75c7b3631af235b0a23de7f04926 (patch) | |
| tree | 24f7b6b2c1e28b988f4ddd61f9761777caebf487 /src/theory/strings/theory_strings.h | |
| parent | 0b82388e10cbb2ae7fc2f2c81ee643c5dd6f2605 (diff) | |
| parent | 9f9f8d29c9428289492e421fc1c464a51a06977e (diff) | |
Merge branch 'master' into rmCoverityrmCoverity
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index de505f262..2c0cb42aa 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -234,7 +234,6 @@ private: Node d_zero; Node d_one; Node d_neg_one; - CVC4::Rational RMAXINT; unsigned d_card_size; // Helper functions Node getRepresentative( Node t ); |