From a932e596eb9b1733ec953c9a8ee9d6cfb2f38195 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 10 Aug 2023 08:34:53 -1000
Subject: [PATCH] add a constructor from a variable to factor

---
 src/math/lp/factorization.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/factorization.h b/src/math/lp/factorization.h
index b233894ad..60a8fb862 100644
--- a/src/math/lp/factorization.h
+++ b/src/math/lp/factorization.h
@@ -35,7 +35,8 @@ class factor {
     bool         m_sign{ false };
 public:
     factor(): factor(false) {}
-    factor(bool sign): m_sign(sign) {}
+    explicit factor(bool sign): m_sign(sign) {}
+    factor(lpvar var): m_var(var), m_type(factor_type::VAR), m_sign(false) {}
     explicit factor(lpvar v, factor_type t) : m_var(v), m_type(t), m_sign(false) {}
     unsigned var() const { return m_var; }
     factor_type type() const { return m_type; }