Update CDDL to be more explicit

Co-authored-by: Emil Lundberg <emil@yubico.com>
w3c · Oct 4, 2023 · 108db99 · 108db99
1 parent 175ee61
commit 108db99
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/index.bs b/index.bs
@@ -6281,14 +6281,12 @@ The "compound" attestation statement format is used to pass multiple, self-conta
     ```
     $$attStmtType //= (
                           fmt: "compound",
-                          attStmt: compoundAttStmts
+                          attStmt: [2* nonCompoundAttStmt]
                       )
 
-    compoundAttStmts = []
+    nonCompoundAttStmt = { $$attStmtType } .within { fmt: text .ne "compound" }
     ```
 
-`compoundAttStmts` MUST contain two or more attestation statements which MUST NOT be compound attestation statements.
-
 : Signing procedure
 :: Not applicable