mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

unused variable warning

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-03-07 00:07:48 -08:00
parent d6e0f7659d
commit 9d2a106838
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/smt/smt_theory.h
View file

@ -373,9 +373,8 @@ namespace smt {
if (used_enodes.size() > 0) { if (used_enodes.size() > 0) {
m.trace_stream() << " ;"; m.trace_stream() << " ;";
for (auto n : used_enodes) { for (auto n : used_enodes) {
enode *orig = std::get<0>(n);
enode *substituted = std::get<1>(n); enode *substituted = std::get<1>(n);
SASSERT(orig == nullptr); SASSERT(std::get<0>(n) == nullptr);
m.trace_stream() << " #" << substituted->get_owner_id(); m.trace_stream() << " #" << substituted->get_owner_id();
} }
} }