From: Tim King <taking@cs.nyu.edu>
Date: Tue, 14 Nov 2017 05:00:15 +0000 (-0800)
Subject: Initializes TriggerInfo::polarity. Resolves CID 1172054. (#1358)
X-Git-Tag: cvc5-1.0.0~5481
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=312a7ec0ee5bf7fcf03f7af4a924e4eb03774f67;p=cvc5.git

Initializes TriggerInfo::polarity. Resolves CID 1172054. (#1358)

* Initializes TriggerInfo::polarity. Resolves CID 1172054.

* Initializing to false explicitly.
---

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