From a482635216017b0d558229f2339c663cf58f8d23 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Wed, 15 Jul 2020 13:15:24 +0200
Subject: [PATCH] Add missing header (Fixes #4743) (#4749)

Thanks to Dejan for this hint (in #4743)
---
 src/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index af2d0b782..199c14330 100644
--- 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
-- 
2.30.2