diff options
-rw-r--r-- | src/theory/quantifiers/ce_guided_single_inv_sol.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/quantifiers/ce_guided_single_inv_sol.cpp b/src/theory/quantifiers/ce_guided_single_inv_sol.cpp index a62b5f50b..e21535bef 100644 --- a/src/theory/quantifiers/ce_guided_single_inv_sol.cpp +++ b/src/theory/quantifiers/ce_guided_single_inv_sol.cpp @@ -34,9 +34,8 @@ using namespace std; namespace CVC4 { -CegConjectureSingleInvSol::CegConjectureSingleInvSol( QuantifiersEngine * qe ) : d_qe( qe ){ - d_id_count = 0; -} +CegConjectureSingleInvSol::CegConjectureSingleInvSol(QuantifiersEngine* qe) + : d_qe(qe), d_id_count(0), d_root_id() {} bool CegConjectureSingleInvSol::debugSolution( Node sol ) { if( sol.getKind()==SKOLEM ){ |