Add another promote_operation method

jump-dev · May 19, 2023 · 6df73da · 6df73da
1 parent 0912982
commit 6df73da
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/Utilities/functions.jl b/src/Utilities/functions.jl
@@ -1792,6 +1792,15 @@ end
 
 ### ScalarNonlinearFunction
 
+function promote_operation(
+    ::typeof(-),
+    ::Type{T},
+    ::Type{MOI.ScalarNonlinearFunction},
+    ::Type{T},
+) where {T}
+    return MOI.ScalarNonlinearFunction
+end
+
 function promote_operation(
     ::typeof(-),
     ::Type{T},