- 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 fb3d249967dce70bfcfa8c71bf5d6e2bbca3787b..6da363fc11eb28ffdf5c3cee7ded030e9793d6ab 100644 (file)
--- 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;