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/options/sets_options | |
parent | 36f18a81d18fbfe063ec36cc101ff4ba1c069ea2 (diff) |
Initializes NodeTheoryPair::timestamp in the default constructor. (#1356)
Diffstat (limited to 'src/options/sets_options')
0 files changed, 0 insertions, 0 deletions