--- a/ChengsongTanPhdThesis/Chapters/RelatedWork.tex	Tue Nov 22 12:50:04 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/RelatedWork.tex	Sat Nov 26 16:18:10 2022 +0000
@@ -26,6 +26,7 @@
 and we do not make use of an equivalence checker that exploits the ACI-equivalent
 terms.
 
+
 Central to this thesis is the work by Sulzmann and Lu \cite{Sulzmann2014}.
 They first introduced the elegant and simple idea of injection-based lexing
 and bit-coded lexing.