From c151ae98f885d765b93d32d96981a31a44bec982 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 May 2018 18:20:37 +0100
Subject: [PATCH] fix osx build

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

diff --git a/src/solver/parallel_tactic.cpp b/src/solver/parallel_tactic.cpp
index 61e97e040..c5b10b9b2 100644
--- a/src/solver/parallel_tactic.cpp
+++ b/src/solver/parallel_tactic.cpp
@@ -30,6 +30,7 @@ Notes:
 
 #include <thread>
 #include <mutex>
+#include <cmath>
 #include <condition_variable>
 #include "util/scoped_ptr_vector.h"
 #include "ast/ast_util.h"