From: Tim King <taking@google.com>
Date: Mon, 3 Oct 2016 05:01:27 +0000 (-0700)
Subject: Adding initializers for structs internal to ite_utilities.
X-Git-Tag: cvc5-1.0.0~6028^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f415d4585134612bc24e9a823289fee35541a01;p=cvc5.git

Adding initializers for structs internal to ite_utilities.
---

diff --git a/src/theory/ite_utilities.cpp b/src/theory/ite_utilities.cpp
index 6fab100de..126f3bfb8 100644
--- a/src/theory/ite_utilities.cpp
+++ b/src/theory/ite_utilities.cpp
@@ -73,9 +73,9 @@ static bool isTheoryAtom(TNode a){
 struct CTIVStackElement {
   TNode curr;
   unsigned pos;
-  CTIVStackElement(){}
-  CTIVStackElement(TNode c) : curr(c), pos(0){ }
-};/* CTIVStackElement */
+  CTIVStackElement() : curr(), pos(0) {}
+  CTIVStackElement(TNode c) : curr(c), pos(0) {}
+}; /* CTIVStackElement */
 
 } /* CVC4::theory::ite */
 
@@ -490,8 +490,8 @@ struct TITEHStackElement {
   TNode curr;
   unsigned pos;
   uint32_t maxChildHeight;
-  TITEHStackElement(){}
-  TITEHStackElement(TNode c) : curr(c), pos(0), maxChildHeight(0){ }
+  TITEHStackElement() : curr(), pos(0), maxChildHeight(0) {}
+  TITEHStackElement(TNode c) : curr(c), pos(0), maxChildHeight(0) {}
 };
 } /* namespace ite */