Add missing header (Fixes #4743) (#4749)

Thanks to Dejan for this hint (in #4743)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index af2d0b782166f36b40413f181c157fd411987d8d..199c143309b2d08cdaa7834a5382d54a9df71c7c 100644 (file)
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -959,6 +959,7 @@ install(FILES
           expr/emptyset.h
           expr/expr_iomanip.h
           expr/record.h
+          expr/sequence.h
           expr/symbol_table.h
           expr/type.h
           expr/uninterpreted_constant.h