From 91704a78531bec2e3eea3ddf90eaedb28e1d696d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 11 Mar 2014 14:24:24 +0100
Subject: Merged a few fixes for non-posix systems from
 github.com/Siesh1oo/yosys (see https://github.com/cliffordwolf/yosys/pull/28)

---
 libs/ezsat/ezsat.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'libs/ezsat/ezsat.cc')

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index fb3d2499..6da363fc 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -19,10 +19,11 @@
 
 #include "ezsat.h"
 
+#include <cmath>
 #include <algorithm>
+#include <cassert>
 
 #include <stdlib.h>
-#include <assert.h>
 
 const int ezSAT::TRUE = 1;
 const int ezSAT::FALSE = 2;
-- 
cgit v1.2.3