diff --git a/src/math/polynomial/algebraic_numbers.cpp b/src/math/polynomial/algebraic_numbers.cpp
index cb15da57a..0832909b8 100644
--- a/src/math/polynomial/algebraic_numbers.cpp
+++ b/src/math/polynomial/algebraic_numbers.cpp
@@ -575,7 +575,6 @@ namespace algebraic_numbers {
                 auto& a = r[i];
                 for (unsigned j = 0; j < r.size(); ++j) {
                     auto& b = r[j];
-                    bool ltab = lt(a, b);
                     for (unsigned k = 0; k < r.size(); ++k) {
                         auto& c = r[k];
                         bool b_lt_a = lt(b, a);
diff --git a/src/test/algebraic.cpp b/src/test/algebraic.cpp
index c84b3984f..5c91623d0 100644
--- a/src/test/algebraic.cpp
+++ b/src/test/algebraic.cpp
@@ -602,6 +602,10 @@ static void tst_sturm() {
     b = rs1[3];
     am.isolate_roots(q, rs2);
     c = rs2[3];
+
+    display_anums(std::cout, rs1);
+    display_anums(std::cout, rs2);
+
     am.display_decimal(std::cout << "a:", a) << "\n";
     am.display_interval(std::cout << "a:", a) << "\n";
     am.display_root(std::cout << "a:", a) << "\n";