sdasgup3/binary-decompilation#71: wip

kframework · May 17, 2018 · 411c4f7 · 411c4f7
1 parent 476cbbc
commit 411c4f7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/reports/papers/asplos2019/source/template.tex b/docs/reports/papers/asplos2019/source/template.tex
@@ -8,7 +8,7 @@
 \begin{document}
 
 \title{
-Instructions for Submission to ASPLOS 2018}
+Near Complete Formal Semantics of X86-64}
 
 \date{}
 \maketitle
@@ -342,3 +342,5 @@ \section{Acknowledgements}
 
 \end{document}
 
+\grid
+\grid