Swap order of programs and compiler.

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{}