diff options
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -373,8 +373,8 @@ \subfile{sec/systemt.ltx} \subfile{sec/lang.ltx} \subfile{sec/encoding.ltx} -\subfile{sec/compiler.ltx} \subfile{sec/reducer.ltx} +\subfile{sec/compiler.ltx} \subfile{sec/related.ltx} \printbibliography{} |