From eef27f449633b8ac2cf2f1115673e99c9a8d9427 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 21 Jan 2010 14:55:01 +0100
Subject: [PATCH] * src/tgbatest/randtgba.cc: Do not include <string> twice.

---
 ChangeLog                | 4 ++++
 src/tgbatest/randtgba.cc | 5 +++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 45b806060..7d39e6bdb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/randtgba.cc: Do not include <string> twice.
+
 2010-01-21  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Speedup reduc.test by not spawning one process per formula.
diff --git a/src/tgbatest/randtgba.cc b/src/tgbatest/randtgba.cc
index 91749a6ad..4a27e6430 100644
--- a/src/tgbatest/randtgba.cc
+++ b/src/tgbatest/randtgba.cc
@@ -1,4 +1,6 @@
-// Copyright (C) 2004, 2005, 2008, 2009 Laboratoire d'Informatique de Paris
+// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
+// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
 //
@@ -28,7 +30,6 @@
 #include <string>
 #include <utility>
 #include <set>
-#include <string>
 #include <vector>
 #include "ltlparse/public.hh"
 #include "ltlvisit/apcollect.hh"