From 7a5666f1dfb486d883d4577271e476b58fd9f8e7 Mon Sep 17 00:00:00 2001
From: Lev <levnach@hotmail.com>
Date: Wed, 31 Oct 2018 15:47:35 -0700
Subject: [PATCH] remove the default constructor

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

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