From 188f263bd3012a74c25395a660bc7f6a68365c03 Mon Sep 17 00:00:00 2001
From: reuk <reuk@users.noreply.github.com>
Date: Fri, 27 Oct 2017 09:47:47 +0100
Subject: [PATCH] Enable casting from derived types to other derived types

---
 src/util/expr_cast.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/expr_cast.h b/src/util/expr_cast.h
index 5c2337930d2..f614367b18f 100644
--- a/src/util/expr_cast.h
+++ b/src/util/expr_cast.h
@@ -74,7 +74,7 @@ auto expr_try_dynamic_cast(TExpr &base)
     typename detail::expr_try_dynamic_cast_return_typet<T, TExpr>::type
     returnt;
   static_assert(
-    std::is_same<typename std::decay<TExpr>::type, exprt>::value,
+    std::is_base_of<exprt, typename std::decay<TExpr>::type>::value,
     "Tried to expr_try_dynamic_cast from something that wasn't an exprt");
   static_assert(
     std::is_base_of<exprt, T>::value,