From 07799ed6645d00bac03048347cba7a76bbcb4db0 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Sat, 25 Aug 2012 16:14:54 +0000 Subject: [PATCH] Remove a useless cast. Detected by the upcoming gcc-4.8. --- src/playcampaign.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/playcampaign.cpp b/src/playcampaign.cpp index 12f1649e93e..3e0d3ec7b79 100644 --- a/src/playcampaign.cpp +++ b/src/playcampaign.cpp @@ -430,7 +430,7 @@ LEVEL_RESULT play_game(display& disp, game_state& gamestate, const config& game_ if (gamestate.classification().abbrev.empty()) gamestate.classification().label = (*scenario)["name"].str(); else { - gamestate.classification().label = std::string(gamestate.classification().abbrev); + gamestate.classification().label = gamestate.classification().abbrev; gamestate.classification().label.append("-"); gamestate.classification().label.append((*scenario)["name"]); }