diff options
Diffstat (limited to 'src/passes/NameManager.cpp')
| -rw-r--r-- | src/passes/NameManager.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/passes/NameManager.cpp b/src/passes/NameManager.cpp index 8ed29c478..8519d70eb 100644 --- a/src/passes/NameManager.cpp +++ b/src/passes/NameManager.cpp @@ -44,7 +44,6 @@ void NameManager::visitBreak(Break* curr) { names.insert(curr->name); } void NameManager::visitSwitch(Switch* curr) { - names.insert(curr->name); names.insert(curr->default_); for (auto& target : curr->targets) { names.insert(target); |