Initializes NodeTheoryPair::timestamp in the default constructor. (#1356)

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 6fd7e9e78655bf880bc22b3cf3405af899c6106d..9afd4e5d9ce3ad5821c1afea2cf892b91763fd0d 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -63,8 +63,7 @@ struct NodeTheoryPair {
   size_t timestamp;
   NodeTheoryPair(TNode node, theory::TheoryId theory, size_t timestamp = 0)
   : node(node), theory(theory), timestamp(timestamp) {}
-  NodeTheoryPair()
-  : theory(theory::THEORY_LAST) {}
+  NodeTheoryPair() : theory(theory::THEORY_LAST), timestamp() {}
   // Comparison doesn't take into account the timestamp
   bool operator == (const NodeTheoryPair& pair) const {
     return node == pair.node && theory == pair.theory;