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;