diff options
Diffstat (limited to 'src/theory/strings/sequences_rewriter.h')
| -rw-r--r-- | src/theory/strings/sequences_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/sequences_rewriter.h b/src/theory/strings/sequences_rewriter.h index 3251579ff..47a20a7ca 100644 --- a/src/theory/strings/sequences_rewriter.h +++ b/src/theory/strings/sequences_rewriter.h @@ -145,7 +145,7 @@ class SequencesRewriter : public TheoryRewriter * Specifically, this function performs rewrites whose conclusion is not * necessarily one of { s = t, t = s, true, false }. */ - Node rewriteEqualityExt(Node node); + Node rewriteEqualityExt(Node node) override; /** rewrite string length * This is the entry point for post-rewriting terms node of the form * str.len( t ) |