diff --git a/source/RobotAPI/interface/skills/SkillProviderInterface.ice b/source/RobotAPI/interface/skills/SkillProviderInterface.ice
index 5f327376c7c59196be8129a2bd4a7c0a3baaf0bf..731ae46b95a7c7ca08062473ac17cccf7b51a15b 100644
--- a/source/RobotAPI/interface/skills/SkillProviderInterface.ice
+++ b/source/RobotAPI/interface/skills/SkillProviderInterface.ice
@@ -222,7 +222,7 @@ module armarx
                     // used for callbacks from providers to update their skill execution status
                     void updateStatusForSkill(provider::dto::SkillStatusUpdate statusUpdate,
                                               dto::ProviderID providerId);
-                }
+                };
             }
         }
     }