From 7fce2b2a95854cc5dc5429c2e6e302879ffe2547 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 29 Oct 2004 12:41:56 +0000
Subject: [PATCH] * src/misc/version.cc: Fix trailing whitespace. *
 src/sanity/style.test: Diagnose trailing whitespace.

---
 ChangeLog             | 3 +++
 src/misc/version.cc   | 4 ++--
 src/sanity/style.test | 5 ++++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 49f3c3919..df8c087de 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-10-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/misc/version.cc: Fix trailing whitespace.
+	* src/sanity/style.test: Diagnose trailing whitespace.
+
 	* src/tgbatest/ltl2tgba.cc: Fix lines longer than 80 chars.
 	* src/sanity/80columns.test: Use expand to untabify, the previous
 	recipe was incomplete.
diff --git a/src/misc/version.cc b/src/misc/version.cc
index 6e67f5e8f..b3a78871e 100644
--- a/src/misc/version.cc
+++ b/src/misc/version.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -25,7 +25,7 @@ namespace spot
 {
   static const char version_[] = VERSION;
 
-  const char* 
+  const char*
   version()
   {
     return version_;
diff --git a/src/sanity/style.test b/src/sanity/style.test
index e89d56647..c46c47838 100755
--- a/src/sanity/style.test
+++ b/src/sanity/style.test
@@ -34,7 +34,10 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
 
     fail=false
 
-    sed 's,//.*,,' < $file > $tmp
+    sed 's,[	 ]*//.*,,' < $file > $tmp
+
+    grep '[	 ]$' $tmp &&
+      diag 'Trailing space or tab.'
 
     grep '[	 ]if(' $tmp &&
       diag 'Missing space after "if"'