From 9d2a1068381f5057db6f61ed4ce067054856dfd3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Mar 2019 00:07:48 -0800 Subject: [PATCH] unused variable warning Signed-off-by: Nikolaj Bjorner --- src/smt/smt_theory.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/smt/smt_theory.h b/src/smt/smt_theory.h index ebce8df6f..f1f304fa6 100644 --- a/src/smt/smt_theory.h +++ b/src/smt/smt_theory.h @@ -373,9 +373,8 @@ namespace smt { if (used_enodes.size() > 0) { m.trace_stream() << " ;"; for (auto n : used_enodes) { - enode *orig = std::get<0>(n); enode *substituted = std::get<1>(n); - SASSERT(orig == nullptr); + SASSERT(std::get<0>(n) == nullptr); m.trace_stream() << " #" << substituted->get_owner_id(); } }