From c21473e09b7376f28d2d49cc78a878582432fed8 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Tue, 7 Jan 2014 20:04:27 -0600 Subject: [PATCH] remove a warning in strings --- src/theory/strings/theory_strings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2