diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-13 21:00:15 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-13 21:00:15 -0800 |
| commit | 312a7ec0ee5bf7fcf03f7af4a924e4eb03774f67 (patch) | |
| tree | 475e9075f927a4a82bb66c22feb742e554857422 /src/theory/uf | |
| parent | 0fa5a1a957d7df9d47f5ba8b2b857539b21ae165 (diff) | |
Initializes TriggerInfo::polarity. Resolves CID 1172054. (#1358)
* Initializes TriggerInfo::polarity. Resolves CID 1172054.
* Initializing to false explicitly.
Diffstat (limited to 'src/theory/uf')
| -rw-r--r-- | src/theory/uf/equality_engine_types.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/theory/uf/equality_engine_types.h b/src/theory/uf/equality_engine_types.h index b3b8ac7d6..7cf25e8f6 100644 --- a/src/theory/uf/equality_engine_types.h +++ b/src/theory/uf/equality_engine_types.h @@ -351,11 +351,10 @@ struct TriggerInfo { Node trigger; /** Polarity of the trigger */ bool polarity; - TriggerInfo() {} + TriggerInfo() : polarity(false) {} TriggerInfo(Node trigger, bool polarity) - : trigger(trigger), polarity(polarity) {} - }; - + : trigger(trigger), polarity(polarity) {} +}; } // namespace eq } // namespace theory |