Initializing TrailHashMap::d_uniqueKeys. (#1331)

diff --git a/src/context/cdtrail_hashmap.h b/src/context/cdtrail_hashmap.h
index e64c51c6575b62bd5364ad050fd4bee82e234933..bbd71f8cd72b35f47754e53fc19b6e616d446df8 100644 (file)
--- a/src/context/cdtrail_hashmap.h
+++ b/src/context/cdtrail_hashmap.h
@@ -92,7 +92,6 @@ private:
   /** The trail of elements. */
   KDTVec d_kdts;
 
-
   typedef std::unordered_map<Key, size_t, HashFcn> PositionMap;
   typedef typename PositionMap::iterator PM_iterator;
   typedef typename PositionMap::const_iterator PM_const_iterator;
@@ -124,13 +123,15 @@ private:
   }
 
 public:
-  /**
-   * Constant iterator for TrailHashMap.
-   * Only supports forward iteration.
-   * This always points at the end or a current element in the trail.
-   * This is done by iterating over the trail.
-   */
-  class const_iterator {
+ TrailHashMap() : d_kdts{}, d_posMap{}, d_uniqueKeys(0) {}
+
+ /**
+  * Constant iterator for TrailHashMap.
+  * Only supports forward iteration.
+  * This always points at the end or a current element in the trail.
+  * This is done by iterating over the trail.
+  */
+ class const_iterator {
   private:
     /** A vector iterator. */
     KDTVec_const_iterator d_it;