Adding initializers for structs internal to ite_utilities.

diff --git a/src/theory/ite_utilities.cpp b/src/theory/ite_utilities.cpp
index 6fab100de033028e3b98e6335db560956ec2dca7..126f3bfb8885d627bdc92aa96c0c6729f8993051 100644 (file)
--- 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 */