From d037008cdc91480c2bfcbcc87802c4deab7cb2ec Mon Sep 17 00:00:00 2001
From: Guillaume Sadegh <sadegh@lrde.epita.fr>
Date: Tue, 29 Sep 2009 14:56:43 +0200
Subject: [PATCH] * src/ltltest/randltl.cc, src/ltltest/reduc.test,
 src/tgbatest/dfs.test: Adjust headers to 80 columns.

---
 ChangeLog              | 5 +++++
 src/ltltest/randltl.cc | 6 +++---
 src/ltltest/reduc.test | 6 +++---
 src/tgbatest/dfs.test  | 6 +++---
 4 files changed, 14 insertions(+), 9 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 9560b29c4..08ce8ec6c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-09-29  Guillaume Sadegh  <sadegh@lrde.epita.fr>
+
+	* src/ltltest/randltl.cc, src/ltltest/reduc.test,
+	src/tgbatest/dfs.test: Adjust headers to 80 columns.
+
 2009-09-24  Guillaume Sadegh  <sadegh@lrde.epita.fr>
 
 	A wrapper around tgba to produce state-labeled automata.
diff --git a/src/ltltest/randltl.cc b/src/ltltest/randltl.cc
index d78608f37..dca13c368 100644
--- a/src/ltltest/randltl.cc
+++ b/src/ltltest/randltl.cc
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2005, 2008, 2009  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2005, 2008, 2009  Laboratoire d'Informatique de
+// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test
index cde33ea6e..14b9f2fee 100755
--- a/src/ltltest/reduc.test
+++ b/src/ltltest/reduc.test
@@ -1,7 +1,7 @@
 #! /bin/sh
-# Copyright (C) 2004, 2005, 2006, 2009  Laboratoire d'Informatique de Paris 6 (LIP6),
-# département Systèmes Répartis Coopératifs (SRC), Université Pierre
-# et Marie Curie.
+# Copyright (C) 2004, 2005, 2006, 2009 Laboratoire d'Informatique de
+# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+# Université Pierre et Marie Curie.
 #
 # This file is part of Spot, a model checking library.
 #
diff --git a/src/tgbatest/dfs.test b/src/tgbatest/dfs.test
index 7953b0ed4..18d929647 100755
--- a/src/tgbatest/dfs.test
+++ b/src/tgbatest/dfs.test
@@ -1,7 +1,7 @@
 #!/bin/sh
-# Copyright (C) 2003, 2004, 2005, 2009  Laboratoire d'Informatique de Paris 6 (LIP6),
-# département Systèmes Répartis Coopératifs (SRC), Université Pierre
-# et Marie Curie.
+# Copyright (C) 2003, 2004, 2005, 2009 Laboratoire d'Informatique de
+# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+# Université Pierre et Marie Curie.
 #
 # This file is part of Spot, a model checking library.
 #