From 614080814375998f494adc839484f455b31a5f43 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 15 Oct 2015 15:57:03 +0200
Subject: Change semantics of str.substr to allow endpoint out of bounds, and
 return empty string for error conditions. Improve rewriter for str.substr.

---
 src/theory/strings/theory_strings.h | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/theory/strings/theory_strings.h')

diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h
index b2864656a..f57bf43f8 100644
--- a/src/theory/strings/theory_strings.h
+++ b/src/theory/strings/theory_strings.h
@@ -119,12 +119,6 @@ public:
   };/* class TheoryStrings::NotifyClass */
 
 private:
-  /**
-   * Function symbol used to implement uninterpreted undefined string
-   * semantics.  Needed to deal with partial charat/substr function.
-   */
-  Node d_ufSubstr;
-
   // Constants
   Node d_emptyString;
   Node d_emptyRegexp;
-- 
cgit v1.2.3