diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-13 18:55:49 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-13 20:55:49 -0600 |
| commit | 0fa5a1a957d7df9d47f5ba8b2b857539b21ae165 (patch) | |
| tree | 4c73181bea3c603f415a70b4b8d6bae7ac52603d /src/theory/theory_engine.h | |
| parent | 36f18a81d18fbfe063ec36cc101ff4ba1c069ea2 (diff) | |
Initializes NodeTheoryPair::timestamp in the default constructor. (#1356)
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 3 |
1 files changed, 1 insertions, 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; |