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

diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h
index b2e45533a4be635856b455ba050d4594bb1d5cb0..fc0910893f33320be0df2e5f4e0db72037b188f2 100644 (file)
--- 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) */