From c7ec792a2086c5b92c4a96d18f7cedb293712dfd Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 13 Jul 2020 00:43:45 -0500 Subject: Add support for string/sequence update (#4725) This adds basic support for string/sequence updating, which has a semantics that is length preserving. --- src/theory/strings/term_registry.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/strings/term_registry.cpp') diff --git a/src/theory/strings/term_registry.cpp b/src/theory/strings/term_registry.cpp index d21cf069d..0b80db2ee 100644 --- a/src/theory/strings/term_registry.cpp +++ b/src/theory/strings/term_registry.cpp @@ -140,7 +140,7 @@ void TermRegistry::preRegisterTerm(TNode n) || k == STRING_STRREPL || k == STRING_STRREPLALL || k == STRING_REPLACE_RE || k == STRING_REPLACE_RE_ALL || k == STRING_STRCTN || k == STRING_LEQ || k == STRING_TOLOWER - || k == STRING_TOUPPER || k == STRING_REV) + || k == STRING_TOUPPER || k == STRING_REV || k == STRING_UPDATE) { std::stringstream ss; ss << "Term of kind " << k -- cgit v1.2.3