diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-13 07:57:41 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-13 09:57:41 -0600 |
| commit | 6e9f70f5bc59a57cbfdcf0f149265652461fcf2e (patch) | |
| tree | d6fb94cd95b4cc76481a0987eeb838c2c1128f9b /src/theory | |
| parent | 0f0e54c8581209d7c0e85072654b6dbd3c57c5d3 (diff) | |
Initializes CegConjectureSingleInvSol::d_root_id. (#1361)
Diffstat (limited to 'src/theory')
| -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 ){ |