From eb555ee0a7de978633fcd1c1548037578cef0c0a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 26 Aug 2024 10:32:42 -0700
Subject: [PATCH] use std::pow

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_arith_base.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 308b99760..e5868bf18 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -43,6 +43,7 @@ Done:
 #include "ast/sls/sls_arith_base.h"
 #include "ast/ast_ll_pp.h"
 #include "ast/ast_pp.h"
+#include <cmath>
 
 namespace sls {
 
@@ -1740,7 +1741,7 @@ namespace sls {
         else if (result == 0)
             return 0.2;        
         for (int i = m_prob_break.size(); i <= breaks; ++i) 
-            m_prob_break.push_back(pow(m_config.cb, -i));
+            m_prob_break.push_back(std::pow(m_config.cb, -i));
         return m_prob_break[breaks];
     }