diff options
Diffstat (limited to 'src/expr/metakind_template.h')
| -rw-r--r-- | src/expr/metakind_template.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 41813abde..e3f1b5c45 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -337,6 +337,7 @@ static inline Kind operatorToKind(::CVC4::expr::NodeValue* nv) { switch(Kind k CVC4_UNUSED = nv->getKind()) { ${metakind_operatorKinds} + default: return kind::UNDEFINED_KIND; /* LAST_KIND */ }; |