From 665216b0c20ef0c92196d78173e25f9e3c8a0a66 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 12 Feb 2004 14:16:55 +0000
Subject: [PATCH] * src/ExternalTranslator.cc: Include sys/wait.h.

---
 lbtt/ChangeLog                 | 2 ++
 lbtt/src/ExternalTranslator.cc | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog
index 4d7c937ca..9421fdd1d 100644
--- a/lbtt/ChangeLog
+++ b/lbtt/ChangeLog
@@ -1,5 +1,7 @@
 2004-02-11  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ExternalTranslator.cc: Include sys/wait.h.
+
 	* src/SpotWrapper.cc (SpotWrapper::SPOT_AND, SpotWrapper::SPOT_OR):
 	Define as && and || as in Spin.
 	* src/SpotWrapper.hh: Update by email.
diff --git a/lbtt/src/ExternalTranslator.cc b/lbtt/src/ExternalTranslator.cc
index 844418944..14ae40686 100644
--- a/lbtt/src/ExternalTranslator.cc
+++ b/lbtt/src/ExternalTranslator.cc
@@ -1,5 +1,5 @@
 /*
- *  Copyright (C) 1999, 2000, 2001, 2002, 2003
+ *  Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004
  *  Heikki Tauriainen <Heikki.Tauriainen@hut.fi>
  *
  *  This program is free software; you can redistribute it and/or
@@ -27,6 +27,7 @@
 #include <cstdlib>
 #include <sys/stat.h>
 #include <sys/types.h>
+#include <sys/wait.h>
 #ifdef HAVE_FCNTL_H
 #include <fcntl.h>
 #endif /* HAVE_FCNTL_H */