From bac16bac85e07567b2126e7d03c53bd462532d3b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Tue, 11 Jul 2017 13:46:46 -0700
Subject: [PATCH] start gomory cut

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

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index b0404e126..e02554a3d 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1254,7 +1254,7 @@ namespace smt {
             }
             case lp::lia_move::bound: {
                 // todo nikolaj
-                // Need to set a bound >= k on the only  var from the term
+                // Need to set a bound x[j] >= k where j is the only  var from the term
                 return l_false;
             }
             case lp::lia_move::cut: {