From 5f415d4585134612bc24e9a823289fee35541a01 Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 2 Oct 2016 22:01:27 -0700 Subject: [PATCH] Adding initializers for structs internal to ite_utilities. --- src/theory/ite_utilities.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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 */ -- 2.30.2