diff --git a/src/math/lp/nex.h b/src/math/lp/nex.h
index 3998e4214..2e8d14025 100644
--- a/src/math/lp/nex.h
+++ b/src/math/lp/nex.h
@@ -202,9 +202,6 @@ public:
 
     nex_mul() : m_coeff(rational(1)) {}
 
-    template <typename T> 
-    nex_mul() : m_coeff() {}
-
     const rational& coeff() const {
         return m_coeff;
     }