From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Tue, 7 Aug 2001 19:04:40 +0000 (+0000)
Subject: - ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).
X-Git-Tag: release_0-9-3~18
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=ed58700a9b0dd302f28203c6ac7eee95e8d34d8a

- ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).
---

diff --git a/ginac/basic.h b/ginac/basic.h
index 77134bd6..b319e0d5 100644
--- a/ginac/basic.h
+++ b/ginac/basic.h
@@ -217,6 +217,7 @@ inline bool is_exactly_a(const ex & obj)
 template <class T>
 inline const T &ex_to(const ex &e)
 {
+	GINAC_ASSERT(is_a<T>(e));
 	return static_cast<const T &>(*e.bp);
 }