diff options
Diffstat (limited to 'src/api/cvc4cppkind.h')
| -rw-r--r-- | src/api/cvc4cppkind.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/api/cvc4cppkind.h b/src/api/cvc4cppkind.h index 7d9ec28c6..1f2a36676 100644 --- a/src/api/cvc4cppkind.h +++ b/src/api/cvc4cppkind.h @@ -33,8 +33,7 @@ namespace api { * * Note that the underlying type of Kind must be signed (to enable range * checks for validity). The size of this type depends on the size of - * CVC4::Kind (CVC4__EXPR__NODE_VALUE__NBITS__KIND, currently 10 bits, - * see expr/metakind_template.h). + * CVC4::Kind (NodeValue::NBITS_KIND, currently 10 bits, see expr/node_value.h). */ enum CVC4_PUBLIC Kind : int32_t { |