addinequality! -> add_inequality!

jump-dev · Nov 17, 2023 · 21086ce · 21086ce
1 parent 680fd90
commit 21086ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/convexityparameter/JuMP.jl b/examples/convexityparameter/JuMP.jl
@@ -74,7 +74,7 @@ bss() = SAS.BasicSemialgebraicSet{Float64, DynamicPolynomials.Polynomial{true, F
 function get_domain_inequalities(dom::PolyUtils.BoxDomain, x)
     box = bss()
     for (xi, ui, li) in zip(x, dom.u, dom.l)
-        SAS.addinequality!(box, (-xi + ui) * (xi - li))
+        SAS.add_inequality!(box, (-xi + ui) * (xi - li))
     end
     return box
 end