diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-07 20:04:27 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-07 20:04:27 -0600 |
| commit | c21473e09b7376f28d2d49cc78a878582432fed8 (patch) | |
| tree | 215bae9376d4848bbbe5d7f81931a578a46f828e | |
| parent | 0c91ca68da84414dd49262ce244084ff2bdec34c (diff) | |
remove a warning in strings
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 99d64270b..deb58d7d4 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -43,8 +43,8 @@ TheoryStrings::TheoryStrings(context::Context* c, context::UserContext* u, Outpu d_nf_pairs(c), //d_var_lmin( c ), //d_var_lmax( c ), - d_reg_exp_mem( c ), d_str_ctn( c ), + d_reg_exp_mem( c ), d_curr_cardinality( c, 0 ) { // The kinds we are treating as function application in congruence |