Merge pull request #794 from JuliaReach/schillic/doctest

Fix doctest
JuliaReach · Oct 13, 2018 · d291c74 · d291c74
2 parents 0790448 + 8bd5a74
commit d291c74
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