Removed unnecessary semicolons causing warnings

Former-commit-id: 900af4bfbf [formerly 75bccd104c] Former-commit-id: 172aceef7e
8 years ago · 606ab9eb09
1 changed files with 1 additions and 1 deletions
--- a/src/storage/jani/JSONExporter.h
+++ b/src/storage/jani/JSONExporter.h
@ -9,7 +9,7 @@
 #include "json.hpp"
 namespace modernjson {
    using json = nlohmann::basic_json<std::map, std::vector, std::string, bool, int64_t, uint64_t, double, std::allocator>;
-};
+}

 namespace storm {
    namespace jani {