From 0fa5a1a957d7df9d47f5ba8b2b857539b21ae165 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 13 Nov 2017 18:55:49 -0800
Subject: [PATCH] Initializes NodeTheoryPair::timestamp in the default
 constructor. (#1356)

---
 src/theory/theory_engine.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 6fd7e9e78..9afd4e5d9 100644
--- 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;
-- 
2.30.2