From 21cadcb8eb6e6f4d2eb5d0c8ee3c2d5987ca0a84 Mon Sep 17 00:00:00 2001
From: Paul Schaub <vanitasvitae@fsfe.org>
Date: Wed, 7 Sep 2022 18:33:36 +0200
Subject: [PATCH] Introduce dedicated state for Signed Message

---
 misc/OpenPGPMessageFormat.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/misc/OpenPGPMessageFormat.md b/misc/OpenPGPMessageFormat.md
index 36b787ce..c3631109 100644
--- a/misc/OpenPGPMessageFormat.md
+++ b/misc/OpenPGPMessageFormat.md
@@ -20,7 +20,8 @@ graph LR
     sig4ops -- "ε,#/ε" --> accept
     pgpmsg -- "OnePassSignature,m/o" --> ops((One-Pass-Signed Message))
     ops -- "ε,ε/m" --> pgpmsg
-    pgpmsg -- "Signature,m/m" --> pgpmsg
+    pgpmsg -- "Signature,m/ε" --> signed((Signed Message))
+    signed -- "ε,ε/m" --> pgpmsg
     pgpmsg -- "Compressed Data,m/ε" --> comp((Compressed Message))
     comp -. "ε,ε/m" .-> pgpmsg
     comp -- "ε,#/ε" --> accept