diff options
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 8 |
1 files changed, 3 insertions, 5 deletions
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 */ |