From 0f0e54c8581209d7c0e85072654b6dbd3c57c5d3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 13 Nov 2017 06:15:03 -0800
Subject: [PATCH] Initializing SortInference::initialSortCount. Resolves
 1172053. (#1357)

---
 src/theory/sort_inference.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/theory/sort_inference.h b/src/theory/sort_inference.h
index ae4131fa8..c4d898dac 100644
--- a/src/theory/sort_inference.h
+++ b/src/theory/sort_inference.h
@@ -90,8 +90,9 @@ private:
   Node mkInjection( TypeNode tn1, TypeNode tn2 );
   //reset
   void reset();
-public:
-  SortInference() : sortCount( 1 ){}
+
+ public:
+  SortInference() : sortCount(1), initialSortCount() {}
   ~SortInference(){}
 
   void simplify( std::vector< Node >& assertions, bool doSortInference, bool doMonotonicyInference );
-- 
2.30.2