From 05c6ed16982a88d2c87694d8ad709c989248b620 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Oct 2015 09:54:05 -0700
Subject: [PATCH] fixing issue #254

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_arith_aux.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/theory_arith_aux.h b/src/smt/theory_arith_aux.h
index 1f729d7b5..45654310f 100644
--- a/src/smt/theory_arith_aux.h
+++ b/src/smt/theory_arith_aux.h
@@ -1561,6 +1561,7 @@ namespace smt {
                 
                 if (!safe_gain(curr_min_gain, curr_max_gain)) {
                     TRACE("opt", tout << "no variable picked\n";);
+                    has_bound = true;
                     best_efforts++;
                 }
                 else if (curr_x_i == null_theory_var) {