From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 3 Jun 2010 00:09:14 +0000 (+0000)
Subject: resolving bug 139: metaKindOf() warnings still exist, but it's probably a g++ 4.3... 
X-Git-Tag: cvc5-1.0.0~9008
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d0dc48f0dcba16849fcc9c8649728d813f7c2305;p=cvc5.git

resolving bug 139: metaKindOf() warnings still exist, but it's probably a g++ 4.3 and 4.4 issue
---

diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h
index b2e45533a..fc0910893 100644
--- a/src/expr/metakind_template.h
+++ b/src/expr/metakind_template.h
@@ -123,6 +123,8 @@ ${metakind_kinds}
     metakind::INVALID /* LAST_KIND */
   };/* metaKinds[] */
 
+  Assert(k >= kind::NULL_EXPR && k < kind::LAST_KIND);
+
   return metaKinds[k];
 }/* metaKindOf(k) */