add Suppressor as dep

hdavid16 · hdavid16 · commit a8cc06c10958 · 2022-09-28T11:53:41.000-04:00
diff --git 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
@@ -1,6 +1,6 @@
 module DisjunctiveProgramming
 
-using JuMP, Symbolics
+using JuMP, Symbolics, Suppressor
 
 export add_disjunction!, add_proposition!
 export @disjunction, @proposition
