From 4cc8442b770beefbf77df899b9662296f495ffe8 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 13 Feb 2016 01:24:44 +0100
Subject: [PATCH] Fixed warning about superfluous semicolon after a method def.

Former-commit-id: 22fa68a4059498480de59477d5cc00371c18e217
---
 src/storage/prism/Program.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.