From 356d3a4de143b0b109dd9970297cf6d629749b40 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 8 Sep 2025 15:45:24 -0700
Subject: [PATCH] add condition variable to header

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

diff --git a/src/smt/smt_parallel2.h b/src/smt/smt_parallel2.h
index 99d31a29f..56f229e47 100644
--- a/src/smt/smt_parallel2.h
+++ b/src/smt/smt_parallel2.h
@@ -22,6 +22,7 @@ Revision History:
 #include "util/search_tree.h"
 #include <thread>
 #include <mutex>
+#include <condition_variable>
 
 
 namespace smt {