From bf692a50765bf538931c6a5d4ec4ce6e74064905 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Mar 2021 17:10:01 -0700
Subject: [PATCH] dependency

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt
index f24d29d91..77757b5e6 100644
--- a/src/smt/CMakeLists.txt
+++ b/src/smt/CMakeLists.txt
@@ -77,6 +77,7 @@ z3_add_component(smt
     uses_theory.cpp
     watch_list.cpp
   COMPONENT_DEPENDENCIES
+    solver_assertions
     bit_blaster
     cmd_context
     fpa