diff --git a/src/util/lp/factorization.h b/src/util/lp/factorization.h
index 1cb1d13cf..878bf6416 100644
--- a/src/util/lp/factorization.h
+++ b/src/util/lp/factorization.h
@@ -30,9 +30,6 @@ class factorization {
     svector<lpvar>         m_vars;
     rational               m_sign;
 public:
-    factorization(){
-        TRACE("nla_solver",);
-    }
     bool is_empty() const { return m_vars.empty(); }
     svector<lpvar> & vars() { return m_vars; }
     const svector<lpvar> & vars() const { return m_vars; }