# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778883658 -7200
# Node ID c4e8c7010ca0f575992777d188eeaf3ee95a07d5
# Parent  28639bddddd003f60c05c3dde5a2d4a7a8524c20
FIX: Syntax description of "Explicit Token Types".

Backslash was doubled erroneously in the output.

diff -r 28639bddddd0 -r c4e8c7010ca0 docs/lexer-algpseudocode.rst
--- a/docs/lexer-algpseudocode.rst	Fri May 15 23:53:40 2026 +0200
+++ b/docs/lexer-algpseudocode.rst	Sat May 16 00:20:58 2026 +0200
@@ -443,22 +443,22 @@
 Its corresponding token type (the associated `key` in this `dict`) is
 used as token type.
 
-``\\tt-XX/SINGLE-CHAR``
+``\tt-XX/SINGLE-CHAR``
 
   no escaping needed
 
   `SINGLE-CHAR` is a single character and can be *every* character
   (including a carriage-return or line-feed)
 
-``\\ttx-XX{CHARACTERS}``
+``\ttx-XX{CHARACTERS}``
 
-``\\ttx-XX(CHARACTERS)``
+``\ttx-XX(CHARACTERS)``
 
-``\\ttx-XX[CHARACTERS]``
+``\ttx-XX[CHARACTERS]``
 
-``\\ttx-XX<CHARACTERS>``
+``\ttx-XX<CHARACTERS>``
 
-``\\ttx-XX<SEP>CHARACTERS<SEP>``
+``\ttx-XX<SEP>CHARACTERS<SEP>``
 
   No escaping possible! There are enough alternatives available!