diff options
Diffstat (limited to 'dev/doc/xml-protocol.md')
| -rw-r--r-- | dev/doc/xml-protocol.md | 2 |
1 files changed, 1 insertions, 1 deletions
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}"/> |