diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp
index d63ff93cd2f..2ecc17c45e3 100644
--- 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";
         }