--- a/QTfrontend/campaign.cpp	Sun Dec 16 18:40:25 2018 +0100
+++ b/QTfrontend/campaign.cpp	Tue Dec 18 14:24:23 2018 +0100
@@ -52,7 +52,7 @@
     missionInList: QComboBox index of the mission as selected in the mission widget
     teamName: Name of the playing team
 */
-bool isMissionWon(QString & campaignName, int missionInList, QString & teamName)
+bool isCampMissionWon(QString & campaignName, int missionInList, QString & teamName)
 {
     QSettings* teamfile = getCampTeamFile(campaignName, teamName);
     int progress = teamfile->value("Campaign " + campaignName + "/Progress", 0).toInt();