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/bindings | |
| 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/bindings')
| -rw-r--r-- | src/bindings/java/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index c5abf9b27..2cecf15e9 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -65,6 +65,7 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/ExprHashFunction.java ${CMAKE_CURRENT_BINARY_DIR}/ExprManager.java ${CMAKE_CURRENT_BINARY_DIR}/ExprManagerMapCollection.java + ${CMAKE_CURRENT_BINARY_DIR}/ExprSequence.java ${CMAKE_CURRENT_BINARY_DIR}/FloatingPoint.java ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointConvertSort.java ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointSize.java |