From 6343fbb0c9b238aeb1addca6449f95a01071c1ac Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 6 Oct 2015 13:26:03 +0200
Subject: More improvements to strings rewriter for regexps, contains, indexof,
 replace and others.  Enable non-recursive flat form inferences in strings
 theory solver. Refactor extf reductions. Use non-constant length terms when
 checking length equality. Add option --strings-eager-len.

---
 src/util/regexp.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/util/regexp.h')

diff --git a/src/util/regexp.h b/src/util/regexp.h
index 453fa7ba9..a91f825ec 100644
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -293,6 +293,7 @@ public:
   String suffix(std::size_t i) const {
     return substr(d_str.size() - i, i);
   }
+  // if y=y1...yn and overlap returns m, then this is x1...y1...ym
   std::size_t overlap(String &y) const;
 
   bool isNumber() const {
-- 
cgit v1.2.3