From bd6905584fc40c33046f6a4150d9a12ee4a5407b Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Sat, 1 Jun 2024 10:11:04 +0200
Subject: [PATCH] =?UTF-8?q?fix=20conflict=20with=20=E2=8A=82?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/src/Initialization/init.jl b/src/Initialization/init.jl
index 677b3a9c3..58fca2c4f 100644
--- 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,