From 994482ed2c784699c75afa37c4635d53e03d8278 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 11 Jun 2008 17:14:44 +0200
Subject: [PATCH] dottynips.cc, emptiness_check.cc: Include ctsdlib for exit()

---
 ChangeLog                     | 3 +++
 iface/nips/dottynips.cc       | 1 +
 iface/nips/emptiness_check.cc | 2 +-
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index d43b81d18..53501e694 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2008-06-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
+	* iface/nips/dottynips.cc: Include ctsdlib for exit().
+	* iface/nips/emptiness_check.cc: Likewise.
+
 	* src/eltlparse/eltlparse.yy: Include limits.h for INT_MIN and
 	INT_MAX.
 
diff --git a/iface/nips/dottynips.cc b/iface/nips/dottynips.cc
index 48df1d9e8..fee11292b 100644
--- a/iface/nips/dottynips.cc
+++ b/iface/nips/dottynips.cc
@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include <cstdlib>
 #include "nips.hh"
 #include "tgbaalgos/dotty.hh"
 
diff --git a/iface/nips/emptiness_check.cc b/iface/nips/emptiness_check.cc
index bd492ab74..26efaafe3 100644
--- a/iface/nips/emptiness_check.cc
+++ b/iface/nips/emptiness_check.cc
@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include <cstdlib>
 #include <iostream>
 #include <cassert>
 #include <cstring>
@@ -126,4 +127,3 @@ main(int argc, char **argv)
     std::cerr << e << std::endl;
     return 1;
   }
-