From fbaee080b202380b65a5df39c5c038ca68ed0442 Mon Sep 17 00:00:00 2001 From: Murphy Berzish Date: Fri, 11 Nov 2016 00:32:50 -0500 Subject: [PATCH] fix performance regression introduced with theory_str str.from-int more investigation is required to understand why this works. --- src/ast/str_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/str_decl_plugin.h b/src/ast/str_decl_plugin.h index 29b2ce9c3..8905d66bc 100644 --- a/src/ast/str_decl_plugin.h +++ b/src/ast/str_decl_plugin.h @@ -43,7 +43,7 @@ enum str_op_kind { OP_STR_REPLACE, // string-integer conversion OP_STR_STR2INT, - OP_STR_INT2STR, + OP_STR_INT2STR, OP_STR_PLACEHOLDER1, OP_STR_PLACEHOLDER2, // regular expression operators OP_RE_STR2REGEX, OP_RE_REGEXIN,