alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/taalgos/emptinessta.cc: Include <cstdlib> for abs().

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-12-18 22:32:49 +01:00
parent 7a6af3aa0d
commit 0c06844655
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/taalgos/emptinessta.cc
View file

@ -28,7 +28,7 @@
#include "emptinessta.hh" #include "emptinessta.hh"
#include "misc/memusage.hh" #include "misc/memusage.hh"
#include <math.h> #include <cstdlib>
#include "tgba/bddprint.hh" #include "tgba/bddprint.hh"
namespace spot namespace spot