minor change for strings-fmf

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index fd9605e59da61f908e46da89c3e1dfcd4c290a72..64f3cd578457f07132ec3ab52aa5516edc7d5dd7 100644 (file)
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -441,7 +441,7 @@ void TheoryStrings::preRegisterTerm(TNode n) {
                  d_out->lemma(n_len_geq_zero);
                  d_out->requirePhase( n_len_eq_z, true );
                  // FMF
-                 if( n.getKind() == kind::VARIABLE ) {//options::stringFMF() &&
+                 if( n.getKind() == kind::VARIABLE && options::stringFMF() ) {
                          d_input_vars.insert(n);
                  }
                }