From 0990de50dfa4b7a5235e1dd04a47649fcaabc045 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 7 Sep 2012 13:20:42 +0200
Subject: [PATCH] Fix missing spaces after comma.

* src/sanity/style.test: Fix the space-after-comma test.
* src/bin/randltl.cc, src/tgba/tgbaexplicit.hh: Add missing spaces.
---
 src/bin/randltl.cc       | 2 +-
 src/sanity/style.test    | 2 +-
 src/tgba/tgbaexplicit.hh | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/bin/randltl.cc b/src/bin/randltl.cc
index 85db2beb2..71596bce5 100644
--- a/src/bin/randltl.cc
+++ b/src/bin/randltl.cc
@@ -69,7 +69,7 @@ and c, with the default tree-size, and all available operators.\n\
 You can disable or favor certain operators by changing their priority.\n\
 The following disables xor, implies, and equiv, and multiply the probability\n\
 of X to occur by 10.\n\
-  % ./randltl --ltl-priorities='xor=0,implies=0,equiv=0,X=10' -n10 a b c\n\
+  % ./randltl --ltl-priorities='xor=0, implies=0, equiv=0, X=10' -n10 a b c\n\
 ";
 
 #define OPT_DUMP_PRIORITIES 1
diff --git a/src/sanity/style.test b/src/sanity/style.test
index 509cb68ed..31deae76e 100755
--- a/src/sanity/style.test
+++ b/src/sanity/style.test
@@ -121,7 +121,7 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
       grep '! ' $tmp &&
 	diag 'No space after unary operators (!).'
 
-      grep ",[^ \t\"%']" $tmp &&
+      grep ",[^ \"	%'\\\\]" $tmp &&
 	diag 'Space after coma.'
 
       # The 'r' allows operator&&
diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index 6c6c22283..8b44a0496 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -668,7 +668,7 @@ namespace spot
   class tgba_explicit: public explicit_graph<State, tgba>
   {
   public:
-    tgba_explicit(bdd_dict* dict): explicit_graph<State,tgba>(dict)
+    tgba_explicit(bdd_dict* dict): explicit_graph<State, tgba>(dict)
     {
     }