From a8cc06c109582aa4a694a05429376fb7225982ab Mon Sep 17 00:00:00 2001
From: hdavid16 <hperez16@gmail.com>
Date: Wed, 28 Sep 2022 11:53:41 -0400
Subject: [PATCH] add Suppressor as dep

---
 Project.toml                  | 2 ++
 src/DisjunctiveProgramming.jl | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index fd8554b..222f04c 100644
--- a/Project.toml
+++ b/Project.toml
@@ -5,10 +5,12 @@ version = "0.3.2"
 
 [deps]
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+Suppressor = "fd094767-a336-5f1f-9728-57cf17d0bbfb"
 Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 
 [compat]
 JuMP = "1.2"
+Suppressor = "0.2"
 Symbolics = "4"
 julia = "1.6"
 
diff --git a/src/DisjunctiveProgramming.jl b/src/DisjunctiveProgramming.jl
index c03fc66..5cfedb1 100644
--- a/src/DisjunctiveProgramming.jl
+++ b/src/DisjunctiveProgramming.jl
@@ -1,6 +1,6 @@
 module DisjunctiveProgramming
 
-using JuMP, Symbolics
+using JuMP, Symbolics, Suppressor
 
 export add_disjunction!, add_proposition!
 export @disjunction, @proposition