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 {