Upgrade JSON Toolkit to the latest version (#13)

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
sourcemeta · May 29, 2024 · 495b65e · 495b65e
1 parent 3ec5e13
commit 495b65e
Show file tree

Hide file tree

Showing 6 changed files with 230 additions and 87 deletions.
diff --git a/DEPENDENCIES b/DEPENDENCIES
@@ -1,4 +1,4 @@
 vendorpull https://github.com/sourcemeta/vendorpull dea311b5bfb53b6926a4140267959ae334d3ecf4
 noa https://github.com/sourcemeta/noa 5ff4024902642afc9cc2f9a9e02ae9dff9d15d4f
-jsontoolkit https://github.com/sourcemeta/jsontoolkit 2775ccc05af7be64dd2532694bb17274185aeec1
+jsontoolkit https://github.com/sourcemeta/jsontoolkit 466493636bdc27725ad5b171141410ec072919bc
 hydra https://github.com/sourcemeta/hydra d5e0c314dae88b0bf2ac4eeff2c7395910e2c7e9
diff --git a/vendor/jsontoolkit/src/jsonschema/compile_describe.cc b/vendor/jsontoolkit/src/jsonschema/compile_describe.cc
diff --git a/vendor/jsontoolkit/src/jsonschema/compile_evaluate.cc b/vendor/jsontoolkit/src/jsonschema/compile_evaluate.cc
diff --git a/vendor/jsontoolkit/src/jsonschema/compile_json.cc b/vendor/jsontoolkit/src/jsonschema/compile_json.cc