From 5379fabf9de6856b9ce716589a0c189dd0a6d11a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 21 Feb 2024 19:52:32 -0800
Subject: [PATCH] include thread

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

diff --git a/src/sat/smt/sls_solver.h b/src/sat/smt/sls_solver.h
index 0c466d0cca8..c473264acca 100644
--- a/src/sat/smt/sls_solver.h
+++ b/src/sat/smt/sls_solver.h
@@ -16,6 +16,7 @@ Module Name:
 --*/
 #pragma once
 
+#include <thread>
 #include "util/rlimit.h"
 #include "ast/sls/bv_sls.h"
 #include "sat/smt/sat_th.h"