Allow empty record literals (fixing an oversight in previous work on empty tuples...

[cvc5.git] / src / theory / datatypes / kinds

diff --git a/src/theory/datatypes/kinds b/src/theory/datatypes/kinds
index 81ef32b32edd4a3e4649cdac3c003ceddb3246aa..bb6fd43732a7e750136352748fac1af62a6444ae 100644 (file)
--- a/src/theory/datatypes/kinds
+++ b/src/theory/datatypes/kinds
@@ -136,7 +136,7 @@ enumerator RECORD_TYPE \
     "::CVC4::theory::datatypes::RecordEnumerator" \
     "theory/datatypes/type_enumerator.h"
 
-parameterized RECORD RECORD_TYPE 1: "a record"
+parameterized RECORD RECORD_TYPE 0: "a record"
 typerule RECORD ::CVC4::theory::datatypes::RecordTypeRule
 construle RECORD ::CVC4::theory::datatypes::RecordProperties