From 73e919c002a656739190662ca758f4cfc560df14 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Wed, 24 May 2017 17:31:17 -0700
Subject: [PATCH] test

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/util/lp/lar_solver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/lp/lar_solver.h b/src/util/lp/lar_solver.h
index 6937455ae..e99600340 100644
--- a/src/util/lp/lar_solver.h
+++ b/src/util/lp/lar_solver.h
@@ -418,6 +418,7 @@ public:
         const impq & v = m_mpq_lar_core_solver.m_r_x[j];
         return impq_is_int(v);
     }
+
     inline bool column_is_real(unsigned j) const { return !column_is_integer(j); }	
 	final_check_status check_int_feasibility();
 };