diff options
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index 0747b97fa..1271c2e64 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -33,7 +33,7 @@ namespace kind { namespace metakind { /** - * Static, compile-time information about types T representing CVC4 + * Static, compile-time information about types T representing cvc5 * constants: * * typename ConstantMap<T>::OwningTheory @@ -51,7 +51,7 @@ struct ConstantMap; /** * Static, compile-time information about kinds k and what type their - * corresponding CVC4 constants are: + * corresponding cvc5 constants are: * * typename ConstantMapReverse<k>::T * |