1 files changed, 0 insertions, 22 deletions
diff --git a/src/theory/arith/nl/cad/projections.cpp b/src/theory/arith/nl/cad/projections.cpp
index 488a1f1c6..276494afd 100644
--- a/src/theory/arith/nl/cad/projections.cpp
+++ b/src/theory/arith/nl/cad/projections.cpp
@@ -70,28 +70,6 @@ void makeFinestSquareFreeBasis(std::vector<Polynomial>& polys)
   reduceProjectionPolynomials(polys);
 }
 
-void makeFinestSquareFreeBasis(std::vector<poly::Polynomial>& lhs,
-                               std::vector<poly::Polynomial>& rhs)
-{
-  for (std::size_t i = 0, ln = lhs.size(); i < ln; ++i)
-  {
-    for (std::size_t j = 0, rn = rhs.size(); j < rn; ++j)
-    {
-      if (lhs[i] == rhs[j]) continue;
-      Polynomial g = gcd(lhs[i], rhs[j]);
-      if (!is_constant(g))
-      {
-        lhs[i] = div(lhs[i], g);
-        rhs[j] = div(rhs[j], g);
-        lhs.emplace_back(g);
-        rhs.emplace_back(g);
-      }
-    }
-  }
-  reduceProjectionPolynomials(lhs);
-  reduceProjectionPolynomials(rhs);
-}
-
 std::vector<Polynomial> projection_mccallum(
     const std::vector<Polynomial>& polys)
 {