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

[LBTT] Add a missing include.

Browse source 
* src/translate.cc: exit(2) requires cstdlib.
This commit is contained in:
Guillaume Sadegh 2010-01-16 23:17:47 +01:00
parent beb3744581
commit 1f19198d2d
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
lbtt/ChangeLog
View file

@ -1,3 +1,9 @@
2010-01-16 Guillaume Sadegh <sadegh@lrde.epita.fr>
Add a missing include.
* src/translate.cc: exit(2) requires cstdlib.
2009-11-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix generation of random formulae on 64bits systems.