diff options
author | Tim King <taking@google.com> | 2016-10-02 22:01:27 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-10-08 19:59:31 -0700 |
commit | 5f415d4585134612bc24e9a823289fee35541a01 (patch) | |
tree | def542bce3971de0a6d646a620b79e871ae7a690 /src | |
parent | edce1662b001dd6f229a25685fb4de6789ff008d (diff) |
Adding initializers for structs internal to ite_utilities.
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/ite_utilities.cpp | 10 |
1 files 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 */ |