From ed58700a9b0dd302f28203c6ac7eee95e8d34d8a Mon Sep 17 00:00:00 2001
From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Tue, 7 Aug 2001 19:04:40 +0000
Subject: [PATCH] - ex_to<foo>(obj) is a good candidate for asserting
 is_a<foo>(obj).

---
 ginac/basic.h | 1 +
 1 file changed, 1 insertion(+)

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);
 }
 
-- 
2.45.0