From 0db79b1c79b82da3fbe44c52e4fb930449802fad Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 11 Dec 2019 11:50:29 -1000
Subject: [PATCH] integrating NB suggestions

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nex.h | 3 ---
 1 file changed, 3 deletions(-)

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;
     }