From 53acda532c42908b482315ac1f0c646e61913f1c Mon Sep 17 00:00:00 2001
From: mforets <mforets@gmail.com>
Date: Thu, 2 May 2019 04:17:53 +1000
Subject: [PATCH] add template dirs for discrete post: | c

---
 src/ReachSets/DiscretePost/DiscretePost.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ReachSets/DiscretePost/DiscretePost.jl b/src/ReachSets/DiscretePost/DiscretePost.jl
index 287abb0b..a51d6651 100644
--- a/src/ReachSets/DiscretePost/DiscretePost.jl
+++ b/src/ReachSets/DiscretePost/DiscretePost.jl
@@ -111,6 +111,10 @@ function get_overapproximation_option(𝒫::DiscretePost, n::Int)
         return dirs(n)
     elseif oa isa Type{<:LazySets.LazySet}
         return oa
+    elseif oa isa LazySets.Approximations.AbstractDirections
+        return oa
+    elseif oa <: LazySets.Approximations.AbstractDirections
+        return oa
     else
         error("received unknown :overapproximation option $oa")
     end