EmptySet: remove type parameter from signature

JuliaReach · Dec 16, 2024 · ae335cb · ae335cb
1 parent 79161c6
commit ae335cb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/docs/src/lib/sets/EmptySet.md b/docs/src/lib/sets/EmptySet.md
@@ -19,7 +19,7 @@ convert(::Type{EmptySet}, ::LazySet)
 
 ```@docs
 chebyshev_center_radius(::EmptySet; kwargs...)
-complement(::EmptySet{N}) where {N}
+complement(::EmptySet)
 rand(::Type{EmptySet})
 plot_recipe(::EmptySet{N}, ::Any=zero(N)) where {N}
 ```

diff --git a/src/Sets/EmptySet/complement.jl b/src/Sets/EmptySet/complement.jl
@@ -1,14 +1,15 @@
 """
 # Extended help
 
-    complement(∅::EmptySet{N}) where {N}
+    complement(∅::EmptySet)
 
 ### Output
 
 The [`Universe`](@ref) of the same dimension.
 """
-function complement(∅::EmptySet{N}) where {N}
+function complement(∅::EmptySet)
     require(@__MODULE__, :LazySets; fun_name="complement")
 
+    N = eltype(∅)
     return Universe{N}(dim(∅))
 end