From 28867b06a05fc13d0257093fcd28caa5907317b6 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sun, 26 Aug 2018 00:22:57 -0500
Subject: Fix unsigned integer type issues in strings (#2380)

* Fix unsigned integer types in strings.

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

(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 de505f262..2c899988f 100644
--- a/src/theory/strings/theory_strings.h
+++ b/src/theory/strings/theory_strings.h
@@ -234,7 +234,7 @@ private:
   Node d_zero;
   Node d_one;
   Node d_neg_one;
-  CVC4::Rational RMAXINT;
+  CVC4::Rational d_rMaxInt;
   unsigned d_card_size;
   // Helper functions
   Node getRepresentative( Node t );
-- 
cgit v1.2.3