From 8bd5a74d5dba3640adea93630a0ff60d26b0fe76 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Sat, 13 Oct 2018 23:35:47 +0200
Subject: [PATCH] fix doctest

---
 src/LazySet.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/LazySet.jl b/src/LazySet.jl
index 1a589424bd..c7afb85f28 100644
--- 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