From 6e9f70f5bc59a57cbfdcf0f149265652461fcf2e Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 13 Nov 2017 07:57:41 -0800 Subject: [PATCH] Initializes CegConjectureSingleInvSol::d_root_id. (#1361) --- src/theory/quantifiers/ce_guided_single_inv_sol.cpp | 5 ++--- 1 file 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 ){ -- 2.30.2