--- a/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex	Tue Nov 08 23:24:54 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex	Fri Nov 11 00:23:53 2022 +0000
@@ -1044,7 +1044,7 @@
 some helper functions such as $\retrieve$ and
 $\flex$.
 \subsection{Specifications of Some Helper Functions}
-The functions we introduce will give a more detailed glimpse into 
+The functions we introduce will give a more detailed view into 
 the lexing process, which is not be possible
 using $\lexer$ or $\blexer$ alone.
 \subsubsection{$\textit{Retrieve}$}