From 0536cdfb9b884419cde4a7b1ce400bb91d807e37 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 8 Dec 2011 10:12:43 +0100
Subject: [PATCH] Fix a g++ warning about possibly uninitialized variable.

* src/ltlvisit/simplify.cc (simplify_visitor::visit(multop)):
Initialize `ri' to kill a warning.
---
 src/ltlvisit/simplify.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc
index 96d8c829f..66eb7578a 100644
--- a/src/ltlvisit/simplify.cc
+++ b/src/ltlvisit/simplify.cc
@@ -1965,7 +1965,7 @@ namespace spot
 				      //           do not accept [*0]
 				      // - 0 if more than one ri accept [*0]
 				      {
-					formula* ri;
+					formula* ri = 0;
 					unsigned nonempty = 0;
 					for (unsigned j = 0; j < rs; ++j)
 					  {