From 93032fc1b900b603d52376e1841ad1c590ae4da5 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 15 Jul 2019 11:51:50 -0700
Subject: Typos

---
 dev/doc/xml-protocol.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/xml-protocol.md b/dev/doc/xml-protocol.md
index e23d1234f7..a3e1a4e90b 100644
--- a/dev/doc/xml-protocol.md
+++ b/dev/doc/xml-protocol.md
@@ -174,7 +174,7 @@ Moves current tip to `${stateId}`, such that commands may be added to the new st
   </union>
 </value>
 ```
-* Failure: If `stateId` is in an error-state and cannot be jumped to, `errorFreeStateId` is the parent state of ``stateId` that shopuld be edited instead. 
+* Failure: If `stateId` is in an error-state and cannot be jumped to, `errorFreeStateId` is the parent state of `stateId` that should be edited instead.
 ```html
 <value val="fail" loc_s="${startOffsetOfError}" loc_e="${endOffsetOfError}">
   <state_id val="${errorFreeStateId}"/>
-- 
cgit v1.2.3