From 64f0f653e3b9589ed78437121590b08a7d329703 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Sep 2012 22:13:41 +0200
Subject: [PATCH] * src/bin/ltl2tgba.cc: Fix cases where --stats is not used...

---
 src/bin/ltl2tgba.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/ltl2tgba.cc b/src/bin/ltl2tgba.cc
index c5925d4a1..a61d77eb2 100644
--- a/src/bin/ltl2tgba.cc
+++ b/src/bin/ltl2tgba.cc
@@ -134,7 +134,7 @@ spot::postprocessor::output_pref pref = spot::postprocessor::Small;
 spot::postprocessor::optimization_level level = spot::postprocessor::High;
 enum output_format { Dot, Lbtt, Spin, Spot, Stats } format = Dot;
 bool utf8 = false;
-const char* stats = 0;
+const char* stats = "";
 
 static int
 parse_opt(int key, char* arg, struct argp_state*)