From efbecb19b162a767afe3ee62291018a757413791 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 2 Feb 2023 19:23:30 -0800
Subject: [PATCH] compiler warning

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_fpa.cpp | 1 -
 1 file changed, 1 deletion(-)

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