From b52150de22915528835f1889ea14491b72f07e24 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 19 Mar 2020 10:57:20 -0700
Subject: [PATCH] cleanup

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/smt/theory_lra.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index e7b6f2d92..508fa6951 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -863,7 +863,6 @@ class theory_lra::imp {
 
     bool is_infeasible() const {
         return lp().get_status() == lp::lp_status::INFEASIBLE;
-        // || lp().get_status() == lp::lp_status::UNKNOWN;
     }
     
     void internalize_eq(theory_var v1, theory_var v2) {