From 1616427792259174907d7cd6e317d9df61ecc932 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 17 May 2019 23:38:14 +0300
Subject: [PATCH] add cmath

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

diff --git a/src/smt/smt_lookahead.cpp b/src/smt/smt_lookahead.cpp
index 2446e30f5..0256646db 100644
--- a/src/smt/smt_lookahead.cpp
+++ b/src/smt/smt_lookahead.cpp
@@ -17,6 +17,7 @@ Revision History:
 
 --*/
 
+#include <cmath>
 #include "ast/ast_smt2_pp.h"
 #include "smt/smt_lookahead.h"
 #include "smt/smt_context.h"