summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--main.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 7a82b2b..67c2408 100644
--- a/main.tex
+++ b/main.tex
@@ -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{}