From cc55abde168c2e316e5cde3c5c1f1d703faace4e Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 31 Aug 2018 09:10:50 -0700
Subject: [PATCH] cmake: Add missing dependency.

---
 src/expr/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt
index dd3d83481..0421261a2 100644
--- a/src/expr/CMakeLists.txt
+++ b/src/expr/CMakeLists.txt
@@ -61,6 +61,7 @@ set(expr_gen_src_files
 )
 
 add_library(expr ${expr_src_files} ${expr_gen_src_files})
+target_link_libraries(expr PRIVATE options)
 target_compile_definitions(expr PRIVATE -D__BUILDING_CVC4LIB)
 
 #
-- 
2.30.2