fix doctest

JuliaReach · Oct 13, 2018 · 8bd5a74 · 8bd5a74
1 parent 0790448
commit 8bd5a74
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/LazySet.jl b/src/LazySet.jl
@@ -32,7 +32,7 @@ Every concrete `LazySet` must define the following functions:
 
 ```jldoctest
 julia> subtypes(LazySet)
-18-element Array{Any,1}:
+19-element Array{Any,1}:
  AbstractCentrallySymmetric
  AbstractPolytope
  CacheMinkowskiSum
@@ -43,6 +43,7 @@ julia> subtypes(LazySet)
  EmptySet
  ExponentialMap
  ExponentialProjectionMap
+ HPolyhedron
  HalfSpace
  Hyperplane
  Intersection