From bdd62a4b3e3df6282122a7c4353e6fef632f9c32 Mon Sep 17 00:00:00 2001 From: rubidium Date: Fri, 22 Nov 2013 21:47:03 +0000 Subject: [PATCH] (svn r26055) -Codechange: mark switch default as really not triggerable, as technically it's dead code --- src/network/network_gui.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/network/network_gui.cpp b/src/network/network_gui.cpp index 7d2e47dbc0..615710465d 100644 --- a/src/network/network_gui.cpp +++ b/src/network/network_gui.cpp @@ -835,7 +835,7 @@ public: /* jump to end */ this->list_pos = this->servers.Length() - 1; break; - default: break; + default: NOT_REACHED(); } this->server = this->servers[this->list_pos];