From 21df5c22a90d419bffead3c9d4baf3a71bfa4cf8 Mon Sep 17 00:00:00 2001
From: hdavid16 <hperez16@gmail.com>
Date: Mon, 12 Sep 2022 01:33:37 -0400
Subject: [PATCH] update docstring

---
 src/macros.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/macros.jl b/src/macros.jl
index a12c75c..d1a0f19 100644
--- 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.
 """