compiler warning

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Feb 3, 2023 · efbecb1 · efbecb1
1 parent ed4a84e
commit efbecb1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp
@@ -671,7 +671,6 @@ namespace smt {
 
         out << "equivalence classes:\n";
         for (enode * n : ctx.enodes()) {
-            expr * e = n->get_expr();
             expr * r = n->get_root()->get_expr();
             out << r->get_id() << " --> " << enode_pp(n, ctx) << "\n";
         }