fix #350

ibex-team · Jun 5, 2019 · 4cbe9af · 4cbe9af
1 parent 2880b55
commit 4cbe9af
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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;
 			}