From 312a7ec0ee5bf7fcf03f7af4a924e4eb03774f67 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 13 Nov 2017 21:00:15 -0800
Subject: [PATCH] Initializes TriggerInfo::polarity. Resolves CID 1172054.
 (#1358)

* Initializes TriggerInfo::polarity. Resolves CID 1172054.

* Initializing to false explicitly.
---
 src/theory/uf/equality_engine_types.h | 7 +++----
 1 file 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
-- 
2.30.2