From 782edb9a69654c0bebe6e72b14da1344c0c43a2a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 21 Aug 2015 17:35:46 +0200
Subject: [PATCH] * src/ltlvisit/unabbrev.cc: Missing break.

---
 src/ltlvisit/unabbrev.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ltlvisit/unabbrev.cc b/src/ltlvisit/unabbrev.cc
index 626fe5ffc..e4f97c9e6 100644
--- a/src/ltlvisit/unabbrev.cc
+++ b/src/ltlvisit/unabbrev.cc
@@ -54,6 +54,7 @@ namespace spot
 	  case 'R':
 	    re_r_ = true;
 	    re_some_other_ = true;
+	    break;
 	  case 'W':
 	    re_w_ = true;
 	    re_some_other_ = true;