* src/sanity/style.test: Catch `;'-not-followed-by-space.

* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.

ChangeLog

@@ -1,5 +1,8 @@
 2004-05-24  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/sanity/style.test: Catch `;'-not-followed-by-space.
+	* src/ltlvisit/reducform.cc, src/ltlvisit/forminf.cc: Fix style.
+
 	* src/ltlvisit/reducform.hh: Fix some Doxygen comments.
 
 	* src/tgbatest/ltl2tgba.cc (syntax): Keep options sorted.

src/ltlvisit/forminf.cc

@@ -61,7 +61,10 @@ namespace spot
     node_type_form_visitor::node_type_form_visitor(){}
 
     node_type_form_visitor::type
-    node_type_form_visitor::result() const { return result_;}
+    node_type_form_visitor::result() const
+    {
+      return result_;
+    }
 
     void
     node_type_form_visitor::visit(const atomic_prop*)

src/ltlvisit/reducform.cc

@@ -134,7 +134,7 @@ namespace spot
 	      case binop::Xor:
 	      case binop::Equiv:
 	      case binop::Implies:
-		break;;
+		break;
 
 	      case binop::U:
 		/* a < b => a U b = b */

src/sanity/style.test

@@ -95,6 +95,9 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
     grep '[	 ];' $tmp &&
       diag 'No space before semicolon.'
 
+    grep -v 'for (;;)' $tmp | grep ';[^	 ")]' &&
+      diag 'Must have space or newline after semicolon.'
+
     $fail && echo "$file" >>failures
   done
 done