summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 40151be..7a168ca 100644
--- a/main.tex
+++ b/main.tex
@@ -182,8 +182,8 @@
\maketitle
\input{introduction}
-\input{verilog}
\input{algorithm}
+\input{verilog}
\input{proof}
\input{evaluation}
\input{related}