Feedback: Error - siegebell/vscoq GitHub Wiki
Issued, for example, when a processed tactic has failed or is unknown. The error offsets may both be 0 if there is no particular syntax involved.
Note: offsets treat all newlines (e.g. "\r\n") as one character.
<feedback object="state" route="0">
<state_id val="${stateId}"/>
<feedback_content val="errormsg">
<loc start="${sentenceOffsetBegin}" stop="${sentenceOffsetEnd}"/>
<string>${errorMessage}</string>
</feedback_content>
</feedback>