From: Siesh1oo <siesh1oo@siesh1oo.no>
Date: Mon, 10 Mar 2014 13:35:59 +0000 (+0100)
Subject:  - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
X-Git-Tag: yosys-0.3.0~57^2~1^2~6^2~1^2~14
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=40e0b79495195eaa2bc6bf32e8d52a5aa956a2b4;p=yosys.git

 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
---

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index fb3d24996..6da363fc1 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;