diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-27 18:05:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-27 16:05:07 -0700 |
| commit | 4df14f1e09549be607123c66b7dd206e8e244c89 (patch) | |
| tree | 3104897629ebe9efe4d14983ad89fb0d8778d4f2 /src/CMakeLists.txt | |
| parent | 449cf281987eb8a2d43a572817db5c870a010c08 (diff) | |
Add the Expr-level sequence datatype (#4526)
This adds the expr-level sequence datatypes. This is required for further progress on sequences. However, note that this class may be deleted in the further when the Expr level is replaced.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index ff11897e9..e9be4dd3e 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -923,6 +923,7 @@ install(FILES expr/datatype.h expr/emptyset.h expr/expr_iomanip.h + expr/expr_sequence.h expr/record.h expr/symbol_table.h expr/type.h |