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 a62b5f50bdcec6e8d3497cc43c2bbfddc3d385e8..e21535befc9eaaae9b5d5b96ab7fb51e87f72165 100644 (file)
--- 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 ){