From 57cb9884618e081b156911826c9639e22ea002d6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 25 Jan 2025 15:51:58 -0800
Subject: [PATCH] fix gcc build

---
 src/ast/sls/sls_arith_lookahead.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/sls/sls_arith_lookahead.cpp b/src/ast/sls/sls_arith_lookahead.cpp
index 6546819ab..dd3ede4ff 100644
--- a/src/ast/sls/sls_arith_lookahead.cpp
+++ b/src/ast/sls/sls_arith_lookahead.cpp
@@ -12,6 +12,7 @@ Author:
 
 --*/
 
+#include <cmath>
 #include "ast/ast_pp.h"
 #include "ast/ast_ll_pp.h"
 #include "ast/sls/sls_arith_lookahead.h"