From 2a239cfbfdd81c65cf18b33df7bfcd6fb644b079 Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Mon, 10 Mar 2014 11:53:12 -0500
Subject: [PATCH] minor change for strings-fmf

---
 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 fd9605e59..64f3cd578 100644
--- 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);
 		  }
 		}
-- 
2.30.2