From 1cc4a4ccc5ac7eb8a9e669ace3db89b9e0d607ff Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de>
Date: Sat, 19 May 2018 02:56:46 +0200
Subject: [PATCH] remove unused constructor that would construct lar_constraint
 in an partly initialized state. Fixes: variable may be used uninitialized

---
 src/util/lp/lar_constraints.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/lp/lar_constraints.h b/src/util/lp/lar_constraints.h
index 9d3a0e0aa..5c33db8c6 100644
--- a/src/util/lp/lar_constraints.h
+++ b/src/util/lp/lar_constraints.h
@@ -84,7 +84,6 @@ struct lar_term_constraint: public lar_base_constraint {
 class lar_constraint : public lar_base_constraint {
 public:
     vector<std::pair<mpq, var_index>> m_coeffs;
-    lar_constraint() {} 
     lar_constraint(const vector<std::pair<mpq, var_index>> & left_side, lconstraint_kind kind, const mpq & right_side)
         :  lar_base_constraint(kind, right_side), m_coeffs(left_side) {}