From 3fecb250a23937a9e13fa9043500d24882ee4c72 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 16 Jun 2011 15:13:49 +0200
Subject: [PATCH] * src/ltlvisit/tostring.cc (to_spin_string_visitor): Add
 missing break.

---
 ChangeLog                | 4 ++++
 src/ltlvisit/tostring.cc | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c622917dc..305e008fa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-06-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltlvisit/tostring.cc (to_spin_string_visitor): Add missing break.
+
 2011-06-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/ajax/spot.in: Touch the directory containing
diff --git a/src/ltlvisit/tostring.cc b/src/ltlvisit/tostring.cc
index 799024a09..cbbe59252 100644
--- a/src/ltlvisit/tostring.cc
+++ b/src/ltlvisit/tostring.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2008, 2010 Laboratoire de Recherche et Développement
+// Copyright (C) 2008, 2010, 2011 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -293,6 +293,7 @@ namespace spot
 	      os_ << " && !";
 	      bo->second()->accept(*this);
 	      os_ << ")";
+	      break;
 	    case binop::U:
 	      bo->first()->accept(*this);
 	      os_ << " U ";