From c82518ca36751aff2fed1838f85b3dce2c0fbcdd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 27 Dec 2024 12:29:44 -0800
Subject: [PATCH] include cmath to define std::pow

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_bv_lookahead.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp
index 2ad3cc535..dde03265d 100644
--- a/src/ast/sls/sls_bv_lookahead.cpp
+++ b/src/ast/sls/sls_bv_lookahead.cpp
@@ -19,6 +19,7 @@ Author:
 #include "ast/sls/sls_bv_eval.h"
 #include "ast/sls/sls_bv_terms.h"
 #include "ast/ast_pp.h"
+#include <cmath>
 
 namespace sls {