cmake: Add missing dependency.

diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt
index dd3d83481a2249639b092a101c2a7dedaed15060..0421261a2a21bae2bc5cd16dd13c2fefd11cee5a 100644 (file)
--- 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)
 
 #