Merge pull request #1072 from JuliaReach/schillic/1070

#1070 - Wrong handling of type parameter in tohrep of VPolygon
JuliaReach · Jan 26, 2019 · e26fd52 · e26fd52
2 parents 8f09755 + 99ab63e
commit e26fd52
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/VPolygon.jl b/src/VPolygon.jl
@@ -131,7 +131,7 @@ end
 
 """
     tohrep(P::VPolygon{N}, ::Type{HPOLYGON}=HPolygon
-          )::HPOLYGON{N} where {N<:Real, HPOLYGON<:AbstractHPolygon}
+          ) where {N<:Real, HPOLYGON<:AbstractHPolygon}
 
 Build a constraint representation of the given polygon.
 
@@ -152,7 +152,7 @@ constraints will be sorted automatically (CCW) if we start with the first edge
 between the first and second vertex.
 """
 function tohrep(P::VPolygon{N}, ::Type{HPOLYGON}=HPolygon
-               )::HPOLYGON{N} where {N<:Real, HPOLYGON<:AbstractHPolygon}
+               ) where {N<:Real, HPOLYGON<:AbstractHPolygon}
     vl = vertices_list(P)
     n = length(vl)
     if n == 0

diff --git a/test/unit_Polygon.jl b/test/unit_Polygon.jl
@@ -268,6 +268,7 @@ for N in [Float64, Float32, Rational{Int}]
         points = i == 0 ? Vector{Vector{N}}() : points5[1:i]
         vp = VPolygon(points, apply_convex_hull=i > 0)
         h1 = tohrep(vp)
+        @test convert(HPolygon, vp) == h1
         if i == 0
             @test isempty(h1.constraints)
         elseif i == 1