Merge pull request #387 from ibex-team/hotfix_350

fix #350
ibex-team · Jun 5, 2019 · 7716596 · 7716596
2 parents 2880b55 + 4cbe9af
commit 7716596
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;
 			}