Adapt heading to single-state-machine specification

input-output-hk · Sep 23, 2023 · f8b4ea7 · f8b4ea7
1 parent c0ab51b
commit f8b4ea7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Ouroboros-Mini_Protocols-Ping_Pong.thy b/src/Ouroboros-Mini_Protocols-Ping_Pong.thy
@@ -19,7 +19,7 @@ datatype party =
   Client |
   Server
 
-subsection \<open>State Machines\<close>
+subsection \<open>State Machine\<close>
 
 datatype state =
   Idle |

diff --git a/src/Ouroboros-Mini_Protocols-Request_Response.thy b/src/Ouroboros-Mini_Protocols-Request_Response.thy
@@ -23,7 +23,7 @@ datatype party =
   Client |
   Server
 
-subsection \<open>State Machines\<close>
+subsection \<open>State Machine\<close>
 
 datatype state =
   Idle |