From 4cbe9af792f1c949ada554952efea4d0e17e674c Mon Sep 17 00:00:00 2001
From: Jordan <jordan.ninin@gmail.com>
Date: Wed, 5 Jun 2019 10:29:26 +0200
Subject: [PATCH] fix #350

---
 plugins/ampl/src/system/ibex_AmplInterface.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/ampl/src/system/ibex_AmplInterface.cpp b/plugins/ampl/src/system/ibex_AmplInterface.cpp
index 5594fe980..6f83f9393 100644
--- a/plugins/ampl/src/system/ibex_AmplInterface.cpp
+++ b/plugins/ampl/src/system/ibex_AmplInterface.cpp
@@ -401,7 +401,8 @@ bool AmplInterface::readnl() {
 						add_ctr_eq((*(body_con[i])-lb));
 					}
 				} else  {
-					 add_ctr_eq((*(body_con[i])-Interval(lb,ub)));
+					 add_ctr(ExprCtr(*(body_con[i])-ub, LEQ));
+					 add_ctr(ExprCtr(*(body_con[i])-lb, GEQ));
 				}
 				break;
 			}