diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-26 19:11:31 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-26 19:11:31 -0600 |
commit | d41d2a817f884e0f6c8d5cb3b87b4298bc1b56f5 (patch) | |
tree | 5cfe4336c5aa40cac613238a2625b1fb4aa55d31 /src/theory/sep | |
parent | 4b7de240edeee362a0b9ca440c22a8b0744cf34b (diff) |
Initial work towards -Wshadow (#3817)
Diffstat (limited to 'src/theory/sep')
-rw-r--r-- | src/theory/sep/theory_sep.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index b5fc1cbc9..0b6e7a5fb 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -317,7 +317,7 @@ void TheorySep::check(Effort e) { while( !done() && !d_conflict ){ // Get all the assertions Assertion assertion = get(); - TNode fact = assertion.assertion; + TNode fact = assertion.d_assertion; Trace("sep-assert") << "TheorySep::check(): processing " << fact << std::endl; @@ -806,7 +806,7 @@ void TheorySep::check(Effort e) { d_heap_locs_nptos.clear(); //collect data points that are not pointed to for( context::CDList<Assertion>::const_iterator it = facts_begin(); it != facts_end(); ++ it) { - Node lit = (*it).assertion; + Node lit = (*it).d_assertion; if( lit.getKind()==kind::NOT && lit[0].getKind()==kind::SEP_PTO ){ Node s_atom = lit[0]; Node v1 = d_valuation.getModel()->getRepresentative( s_atom[0] ); |