remove a warning in strings

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 99d64270b0e68d5ca62606322f10afb11eff48a9..deb58d7d472cc7a2eec7ae7bffc4fe95d7bf711f 100644 (file)
--- 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