From aa69cab8220023174029c0327e4f969d4d9d9053 Mon Sep 17 00:00:00 2001
From: Rodrigo Reichert <rodrigo.reichert@swift-nav.com>
Date: Mon, 31 Jul 2023 10:19:17 +1000
Subject: [PATCH] update to JSON v3.11.2

---
 third_party/json.BUILD | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/third_party/json.BUILD b/third_party/json.BUILD
index 12e3fca..bc251f2 100644
--- a/third_party/json.BUILD
+++ b/third_party/json.BUILD
@@ -14,6 +14,9 @@ package(
 
 cc_library(
     name = "json",
-    hdrs = ["src/json.hpp"],
-    includes = ["src"],
+    hdrs = [
+        "single_include/nlohmann/json.hpp",
+        "single_include/nlohmann/json_fwd.hpp",
+    ],
+    includes = ["single_include"],
 )