From 2bc57de07b8132ee584da614ae49e4d132818f67 Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Thu, 5 Feb 2015 18:27:47 -0600
Subject: Improved string performance, thanks to Peter's benchmarks.

---
 src/theory/strings/regexp_operation.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h
index da84ed04c..012a573c1 100644
--- a/src/theory/strings/regexp_operation.h
+++ b/src/theory/strings/regexp_operation.h
@@ -39,7 +39,7 @@ class RegExpOpr {
   typedef std::pair< Node, Node > PairNodes;
 
 private:
-  const unsigned char d_lastchar;
+  unsigned char d_lastchar;
   Node d_emptyString;
   Node d_true;
   Node d_false;
-- 
cgit v1.2.3