From 606ab9eb09406e783eb55dffae9a559e371cd631 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 11 Nov 2016 20:35:37 +0100
Subject: [PATCH] Removed unnecessary semicolons causing warnings
Former-commit-id: 900af4bfbf9f9e66b2441a147fb21483c85314cf [formerly 75bccd104c603b96b9719effbd84a9cd98cc41d5]
Former-commit-id: 172aceef7e14d8d19794086474703f56bae35c4a
---
src/storage/jani/JSONExporter.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storage/jani/JSONExporter.h b/src/storage/jani/JSONExporter.h
index 2159c26c5..67c448160 100644
--- 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 {