Fix crash

Signed-off-by: Juan Cruz Viotti <[email protected]>
sourcemeta-research · Jan 21, 2025 · b4544de · b4544de
1 parent 787760b
commit b4544de
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/strip.cc b/strip.cc
@@ -27,6 +27,10 @@ int main(int argc, char* argv[]) {
 
     auto &subschema{get(schema, entry.second.pointer)};
 
+    if (!subschema.is_object()) {
+      continue;
+    }
+
     for (const auto &property : subschema.as_object()) {
       const auto keyword_type{sourcemeta::jsontoolkit::default_schema_walker(
             property.first, frame.vocabularies(entry.second,