From 469c165815c496c91866f14cc241caf55404db95 Mon Sep 17 00:00:00 2001 From: PascalSenn Date: Thu, 2 Jan 2025 13:56:45 +0100 Subject: [PATCH] Update spec/Section 4 -- Composition.md Co-authored-by: Glen --- spec/Section 4 -- Composition.md | 1 + 1 file changed, 1 insertion(+) diff --git a/spec/Section 4 -- Composition.md b/spec/Section 4 -- Composition.md index 91ce608..32b739f 100644 --- a/spec/Section 4 -- Composition.md +++ b/spec/Section 4 -- Composition.md @@ -3186,6 +3186,7 @@ In this invalid case, `title` is mandatory in Schema A but not defined in `REQUIRED_ARGUMENT_MISSING_IN_SOME_SCHEMA` **Severity:** + ERROR **Formal Specification:**