Index: doc/theses/jiada_liang_MMath/CFAenum.tex
===================================================================
--- doc/theses/jiada_liang_MMath/CFAenum.tex	(revision 0bda8d707434c296565beb1edaff2d377450550c)
+++ doc/theses/jiada_liang_MMath/CFAenum.tex	(revision c329bca192e3e993cdbb83dc4eb98017385e7e81)
@@ -157,4 +157,5 @@
 Therefore, a \CFA enumeration variable has the same underlying representation as its generated C enumeration.
 This semantics implies a \CFA enumeration variable uses the same storage as a C enumeration variable, that @posn@ can use as its underlying representation, and the label and value arrays take little storage.
+The arrays are annotated with @linkonce@, which are replaced later by gcc attribute @section(".gnu.linkonce.NAME")@, to prevent multiple definitions.
 It should be possible to eliminate the two arrays if unused, either by \CFA if local to a translation unit and unused, or by the linker if global but unreferenced.
 Also, the label and value arrays are declared @static@ and initialized with constants, so the arrays are allocated in the @.data@ section and initialized before program execution.
Index: doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex
===================================================================
--- doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex	(revision 0bda8d707434c296565beb1edaff2d377450550c)
+++ doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex	(revision c329bca192e3e993cdbb83dc4eb98017385e7e81)
@@ -164,5 +164,5 @@
 I would not be here without you.
 
-Thanks to Gregor Richards and Yzihou Zhang for reading my thesis.
+Thanks to Gregor Richards and Yizhou Zhang for reading my thesis.
 
 Special thanks to Andrew James Beach for your insight on the theory development of the thesis.