diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-07 20:22:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 20:22:55 -0500 |
| commit | 43ae3483320d7964166407f84d04339ece944bbf (patch) | |
| tree | d1e657aba1cad526398eceb3ec29f55f161820d1 /src/expr/CMakeLists.txt | |
| parent | 62661dbf501407495aa5f5d700b9d1f1f97376d2 (diff) | |
Move datatype index constant to its own file (#4859)
Towards removing the Expr-level datatype.
Moves DatatypeIndex to its own file, which is the only thing that is necessary remaining from expr/datatype.h.
Also updates the datatype kinds file in preparation for the removal.
Diffstat (limited to 'src/expr/CMakeLists.txt')
| -rw-r--r-- | src/expr/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index bad2f1f42..993df2594 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -73,6 +73,8 @@ libcvc4_add_sources( variable_type_map.h datatype.h datatype.cpp + datatype_index.h + datatype_index.cpp dtype.h dtype.cpp dtype_cons.h |