diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
| commit | 8e0fce94790249ff7aff84ff4500bb96e2ebb9e9 (patch) | |
| tree | 25e65718cff712f13688e452ffc1d4b459cd7367 /src/theory | |
| parent | 3506b13f4d298095e8405b32b05e838f17dbe809 (diff) | |
Working memory leak free version, changes interface to pointers.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/datatypes/kinds | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/datatypes/kinds b/src/theory/datatypes/kinds index 28a6a52d9..42399d61f 100644 --- a/src/theory/datatypes/kinds +++ b/src/theory/datatypes/kinds @@ -39,10 +39,10 @@ parameterized APPLY_SELECTOR_TOTAL [SELECTOR_TYPE] 1 "selector application; para parameterized APPLY_TESTER TESTER_TYPE 1 "tester application; first parameter is a tester, second is a datatype term" constant DATATYPE_TYPE \ - ::CVC4::Datatype \ - "::CVC4::DatatypeHashFunction" \ + ::CVC4::DatatypeIndexConstant \ + "::CVC4::DatatypeIndexConstantHashFunction" \ "expr/datatype.h" \ - "a datatype type" + "a datatype type index" cardinality DATATYPE_TYPE \ "%TYPE%.getDatatype().getCardinality()" \ "expr/datatype.h" |