Merge pull request #836 from JuliaReach/schillic/isstrictsubset

Fix conflict with `⊂`
JuliaReach · Jun 2, 2024 · bbf3abe · bbf3abe
2 parents b192719 + bd69055
commit bbf3abe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Initialization/init.jl b/src/Initialization/init.jl
@@ -24,7 +24,7 @@ using ExprTools: splitdef, combinedef
 using LazySets: AffineMap, ResetMap
 
 # required to avoid conflicts with IntervalMatrices
-using LazySets: Interval, radius, sample, ∅, dim, scale, scale!
+using LazySets: Interval, radius, sample, ∅, dim, scale, scale!, ⊂
 
 # JuliaReach internal functions
 using ReachabilityBase.Arrays: projection_matrix, SingleEntryVector,