From cb9a9b98b018106a02b31f2442f347a944d8dda8 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 30 Apr 2010 23:55:18 +0000
Subject: Fix for bug 115, mapping was going in the wrong direction.

---
 src/expr/metakind_template.h | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/expr/metakind_template.h')

diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h
index 57bfc51e5..5b0ac150b 100644
--- a/src/expr/metakind_template.h
+++ b/src/expr/metakind_template.h
@@ -148,13 +148,11 @@ ${metakind_canbeatomic}
  * VARIABLE to APPLY_UF.
  */
 static inline Kind operatorKindToKind(Kind k) {
-  static const Kind kind2kind[] = {
-    kind::UNDEFINED_KIND, /* NULL_EXPR */
+  switch (k) {
 ${metakind_operatorKinds}
-    kind::UNDEFINED_KIND  /* LAST_KIND */
+  default:
+    return kind::UNDEFINED_KIND;  /* LAST_KIND */
   };
-
-  return kind2kind[k];
 }
 }/* CVC4::kind namespace */
 
-- 
cgit v1.2.3