solve string exp issue for regexp

diff --git a/src/theory/strings/theory_strings_preprocess.cpp b/src/theory/strings/theory_strings_preprocess.cpp
index 757ec56a26804e4ff38c3b096a4e8c811ad2060a..28894083829179f8cdddef3d70b213e21f58f0a5 100644 (file)
--- a/src/theory/strings/theory_strings_preprocess.cpp
+++ b/src/theory/strings/theory_strings_preprocess.cpp
@@ -119,6 +119,9 @@ int StringsPreprocess::checkFixLenVar( Node t ) {
                        ret = 2;
                }
        }
+       if(!options::stringExp()) {
+               ret = 2;
+       }
        return ret;
 }
 Node StringsPreprocess::simplify( Node t, std::vector< Node > &new_nodes ) {