
diff -r bd1354127574 -r 56057198e4f5 ChengsongTanPhdThesis/Chapters/Inj.tex
--- a/ChengsongTanPhdThesis/Chapters/Inj.tex	Fri Dec 30 23:41:44 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/Inj.tex	Fri May 26 08:09:30 2023 +0100
@@ -769,6 +769,7 @@
 value $v$ given a string $s$ and 
 regular expression $r$.
 }
+\label{fig:POSIXDef}
 \end{figure}\afterpage{\clearpage}
 \noindent
 




