update docstring

hdavid16 · hdavid16 · commit 21df5c22a90d · 2022-09-12T01:33:37.000-04:00
diff --git a/src/macros.jl b/src/macros.jl
@@ -102,7 +102,7 @@ function add_disjunction!(m::Model,disj...;reformulation::Symbol,M=missing,ϵ=1e
 end
 
 """
-    proposition(m, expr)
+    proposition(m, expr; [name::String = ""])
 
 Add logical proposition macro.
 """
