- implemented -Wswitch-enum
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 31 Aug 2008 10:57:37 +0000 (10:57 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 31 Aug 2008 10:57:37 +0000 (10:57 +0000)
- revert wrong typo fix
- fixed reachability test by using first_case and last_case

[r21577]


No differences found