diff options
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 1c03cf407..2dcf24b09 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -98,7 +98,8 @@ enum MetaKind_t { VARIABLE, /**< special node kinds: no operator */ OPERATOR, /**< operators that get "inlined" */ PARAMETERIZED, /**< parameterized ops (like APPLYs) that carry extra data */ - CONSTANT /**< constants */ + CONSTANT, /**< constants */ + NULLARY_OPERATOR /**< nullary operator */ };/* enum MetaKind_t */ }/* CVC4::kind::metakind namespace */ @@ -338,7 +339,7 @@ ${metakind_operatorKinds} }/* CVC4::kind namespace */ -#line 342 "${template}" +#line 343 "${template}" namespace theory { |