Set the encoding vocabulary in the internal encoding schema (#813)

Signed-off-by: Juan Cruz Viotti <[email protected]>
sourcemeta · Sep 27, 2024 · 9219554 · 9219554
1 parent 8162f87
commit 9219554
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/compiler/encoding.h b/src/compiler/encoding.h
@@ -19,7 +19,10 @@ make_resolver(const sourcemeta::jsontoolkit::SchemaResolver &fallback) -> auto {
       promise.set_value(sourcemeta::jsontoolkit::parse(R"JSON({
         "$id": "tag:sourcemeta.com,2024:jsonbinpack/encoding/v1",
         "$schema": "https://json-schema.org/draft/2020-12/schema",
-        "$vocabulary": { "https://json-schema.org/draft/2020-12/vocab/core": true }
+        "$vocabulary": {
+          "https://json-schema.org/draft/2020-12/vocab/core": true,
+          "tag:sourcemeta.com,2024:jsonbinpack/encoding/v1": true
+        }
       })JSON"));
     } else {
       promise.set_value(fallback(identifier).get());