* src/misc/version.cc: Fix trailing whitespace.

* src/sanity/style.test: Diagnose trailing whitespace.

ChangeLog

 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.

src/misc/version.cc

-// 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_;

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"'