From 0c06844655c8c85f44881aa2f6689eb2148a06ab Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 18 Dec 2013 22:32:49 +0100
Subject: [PATCH] * src/taalgos/emptinessta.cc: Include <cstdlib> for abs().

---
 src/taalgos/emptinessta.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/taalgos/emptinessta.cc b/src/taalgos/emptinessta.cc
index cf59352b0..190b4592b 100644
--- a/src/taalgos/emptinessta.cc
+++ b/src/taalgos/emptinessta.cc
@@ -28,7 +28,7 @@
 
 #include "emptinessta.hh"
 #include "misc/memusage.hh"
-#include <math.h>
+#include <cstdlib>
 #include "tgba/bddprint.hh"
 
 namespace spot