Update linear_constraint_tests.jl

shivankj11 · web-flow · commit c1256dd3f1cc · 2022-04-21T18:51:55.000-04:00
diff --git a/test/linear_constraint_tests.jl b/test/linear_constraint_tests.jl
@@ -1,6 +1,7 @@
 using Test
 using JuMP
 using DisjunctiveProgramming
+using Symbolics
 
 @testset "linear constraints" begin
 
@@ -133,4 +134,4 @@ using DisjunctiveProgramming
     m2 = simple_example(:CHR)
     model_CHR_valid(m2)
 
-end
+end
