From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Wed, 15 Jul 2020 11:15:24 +0000 (+0200)
Subject: Add missing header (Fixes #4743) (#4749)
X-Git-Tag: cvc5-1.0.0~3106
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a482635216017b0d558229f2339c663cf58f8d23;p=cvc5.git

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 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