From db61d9cd0000b6ca4bfc4c3b5735d3ca8b41295f Mon Sep 17 00:00:00 2001
From: marcus <root@dbServermoflaher@warwick.ac.uk>
Date: Tue, 29 Jul 2025 17:01:39 +0000
Subject: [PATCH] bugfix to json parser

---
 src/Store/Json.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Store/Json.cpp b/src/Store/Json.cpp
index b44f19b..f3ecb43 100644
--- a/src/Store/Json.cpp
+++ b/src/Store/Json.cpp
@@ -7,6 +7,7 @@ bool json_encode(std::ostream& output, const char* datum) {
   while (*datum) {
     if (*datum == '"' || *datum == '\\') output << '\\';
     output << *datum;
+    ++datum;
   };
   output << '"';
   return true;