diff --git a/src/storage/prism/Program.cpp b/src/storage/prism/Program.cpp
index 7947b4c78..bf8caf4a8 100644
--- a/src/storage/prism/Program.cpp
+++ b/src/storage/prism/Program.cpp
@@ -1217,7 +1217,7 @@ namespace storm {
             }
             return res;
 
-        };
+        }
         
         Command Program::synchronizeCommands(uint_fast64_t newCommandIndex, uint_fast64_t actionIndex, uint_fast64_t firstUpdateIndex, std::string const& actionName, std::vector<std::reference_wrapper<Command const>> const& commands) const {
             // To construct the synchronous product of the commands, we need to store a list of its updates.