From 2bb3fc654a812dd2d82c6b3250a46dcede035de8 Mon Sep 17 00:00:00 2001
From: Robert Baruch <robert.c.baruch@gmail.com>
Date: Wed, 25 Nov 2020 12:02:35 -0800
Subject: [PATCH] Further juggles the wording of "character".

---
 manual/CHAPTER_TextRtlil.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex
index 7e7dc19ca..243b56a87 100644
--- a/manual/CHAPTER_TextRtlil.tex
+++ b/manual/CHAPTER_TextRtlil.tex
@@ -25,7 +25,7 @@ Finally, note that all statements (rules ending in \texttt{-stmt}) terminate in
 
 \subsection{Characters}
 
-The characters accepted in an RTLIL file are those encodable in 8 bits. UTF-8 is safe to use. Byte order marks at the beginning of the file will cause an error.
+An RTLIL file is a stream of bytes. Strictly speaking, a ``character'' in an RTLIL file is a single byte. The lexer treats multi-byte encoded characters as consecutive single-byte characters. While other encodings \textit{may} work, UTF-8 is known to be safe to use. Byte order marks at the beginning of the file will cause an error.
 
 ASCII spaces (32) and tabs (9) separate lexer tokens.