diff options
-rw-r--r-- | src/theory/strings/sequences_rewriter.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/strings/sequences_rewriter.cpp b/src/theory/strings/sequences_rewriter.cpp index 1382ab0f9..2a30727ba 100644 --- a/src/theory/strings/sequences_rewriter.cpp +++ b/src/theory/strings/sequences_rewriter.cpp @@ -1517,7 +1517,6 @@ RewriteResponse SequencesRewriter::preRewrite(TNode node) Node SequencesRewriter::rewriteSeqNth(Node node) { Assert(node.getKind() == SEQ_NTH || node.getKind() == SEQ_NTH_TOTAL); - Node ret; Node s = node[0]; Node i = node[1]; if (s.isConst() && i.isConst()) @@ -1527,7 +1526,7 @@ Node SequencesRewriter::rewriteSeqNth(Node node) if (pos < len) { std::vector<Node> elements = s.getConst<Sequence>().getVec(); - ret = elements[pos]; + const Node& ret = elements[pos]; return returnRewrite(node, ret, Rewrite::SEQ_NTH_EVAL); } else if (node.getKind() == SEQ_NTH_TOTAL) |