diff options
Diffstat (limited to 'src')
-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 |