From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Wed, 8 Jan 2014 02:04:27 +0000 (-0600)
Subject: remove a warning in strings
X-Git-Tag: cvc5-1.0.0~7164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c21473e09b7376f28d2d49cc78a878582432fed8;p=cvc5.git

remove a warning in strings
---

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