From: Tim King <taking@cs.nyu.edu>
Date: Mon, 13 Nov 2017 15:57:41 +0000 (-0800)
Subject: Initializes CegConjectureSingleInvSol::d_root_id. (#1361)
X-Git-Tag: cvc5-1.0.0~5488
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e9f70f5bc59a57cbfdcf0f149265652461fcf2e;p=cvc5.git

Initializes CegConjectureSingleInvSol::d_root_id. (#1361)
---

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 ){