From 81260c7ffb27ee1c775d47a10afa93dce796ce54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 20 Mar 2018 19:53:25 -0700
Subject: [PATCH] fix mac build error

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_lookahead.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 460695edd..5b89b4dfd 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -17,6 +17,8 @@ Author:
 Notes:
 
 --*/
+
+#include <cmath>
 #include "sat/sat_solver.h"
 #include "sat/sat_extension.h"
 #include "sat/sat_lookahead.h"