From d0dc48f0dcba16849fcc9c8649728d813f7c2305 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 3 Jun 2010 00:09:14 +0000
Subject: [PATCH] resolving bug 139: metaKindOf() warnings still exist, but
 it's probably a g++ 4.3 and 4.4 issue

---
 src/expr/metakind_template.h | 2 ++
 1 file changed, 2 insertions(+)

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) */
 
-- 
2.30.2