projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f42bc23)
Initializing SortInference::initialSortCount. Resolves 1172053. (#1357)
authorTim King <taking@cs.nyu.edu>
Mon, 13 Nov 2017 14:15:03 +0000 (06:15 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 13 Nov 2017 14:15:03 +0000 (08:15 -0600)
src/theory/sort_inference.h patch | blob | history

diff --git a/src/theory/sort_inference.h b/src/theory/sort_inference.h
index ae4131fa8e9ab27d2f22640e56737af77b9a9ce9..c4d898dacd39c8b625a9d6a8d0471a4471cfa401 100644 (file)
--- 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 );