alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlvisit/unabbrev.cc: Missing break.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-21 17:35:46 +02:00
parent 8d38587da8
commit 782edb9a69
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ltlvisit/unabbrev.cc
View file

@ -54,6 +54,7 @@ namespace spot
case 'R': case 'R':
re_r_ = true; re_r_ = true;
re_some_other_ = true; re_some_other_ = true;
break;
case 'W': case 'W':
re_w_ = true; re_w_ = true;
re_some_other_ = true; re_some_other_ = true;