From 1f19198d2d0d6048efc41e7fc6211ffbfd325f4b Mon Sep 17 00:00:00 2001
From: Guillaume Sadegh <sadegh@lrde.epita.fr>
Date: Sat, 16 Jan 2010 23:17:47 +0100
Subject: [PATCH] [LBTT] Add a missing include.

* src/translate.cc: exit(2) requires cstdlib.
---
 lbtt/ChangeLog        | 6 ++++++
 lbtt/src/translate.cc | 1 +
 2 files changed, 7 insertions(+)

diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog
index 6bbd41392..d1c94f0f9 100644
--- a/lbtt/ChangeLog
+++ b/lbtt/ChangeLog
@@ -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.
diff --git a/lbtt/src/translate.cc b/lbtt/src/translate.cc
index 173f796dc..fdd2246f9 100644
--- a/lbtt/src/translate.cc
+++ b/lbtt/src/translate.cc
@@ -19,6 +19,7 @@
 
 #include <config.h>
 #include <csignal>
+#include <cstdlib>
 #include <fstream>
 #include <iostream>
 #include "Exception.h"