From f067beaf3daafd026c63d26526ee458a2d43ccb0 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Sat, 15 Oct 2022 19:01:26 +0200
Subject: [PATCH] revise isstrictsubset code

---
 src/ConcreteOperations/isstrictsubset.jl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ConcreteOperations/isstrictsubset.jl b/src/ConcreteOperations/isstrictsubset.jl
index 0764edfb8a..e694f12954 100644
--- a/src/ConcreteOperations/isstrictsubset.jl
+++ b/src/ConcreteOperations/isstrictsubset.jl
@@ -1,7 +1,7 @@
 """
-    ⊂(X::ConvexSet{N}, Y::ConvexSet, [witness]::Bool=false) where {N}
+    ⊂(X::LazySet{N}, Y::LazySet, [witness]::Bool=false) where {N}
 
-Strict inclusion check.
+Strict inclusion check of a set in another set.
 
 ### Input
 
@@ -24,7 +24,7 @@ We check inclusion of `X` in `Y` and then check inclusion of `Y` in `X`:
 X ⊂ Y \\Leftrightarrow X ⊆ Y \\land ¬ (Y ⊆ X)
 ```
 """
-function ⊂(X::ConvexSet{N}, Y::ConvexSet, witness::Bool=false) where {N}
+function ⊂(X::LazySet{N}, Y::LazySet, witness::Bool=false) where {N}
     if witness
         res, w = ⊆(X, Y, witness)
         if res