#71: wip

sdasgup3 · May 17, 2018 · 6541abe · 6541abe
1 parent 4f1df52
commit 6541abe
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/x86-semantics/docs/reports/papers/asplos2019/source/template.tex b/x86-semantics/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