changes

[cdsspec-compiler.git] / correctness-model / writeup / paper.aux

diff --git a/correctness-model/writeup/paper.aux b/correctness-model/writeup/paper.aux
index 8dd863b9b0550c4a63e63e09854b2f58898ce3b4..d3d63d5bf7cac6c64f12c96a366ae87d88ed18db 100644 (file)
--- a/correctness-model/writeup/paper.aux
+++ b/correctness-model/writeup/paper.aux
@@ -46,15 +46,15 @@
 \bibstyle{abbrv}
 \bibdata{confstrs-long,paper}
 \bibcite{cpp11spec}{1}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Formalization of Correctness Model}{\thepage }{section.2}}
+\newlabel{sec:formalization}{{2}{\thepage }{Formalization of Correctness Model}{section.2}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}References}{\thepage }{section.3}}
 \bibcite{c11spec}{2}
 \bibcite{c11popl}{3}
 \bibcite{boehmpldi}{4}
 \bibcite{lineup}{5}
 \bibcite{rcu}{6}
 \bibcite{vyrd}{7}
-\@writefile{toc}{\contentsline {section}{\numberline {2}Formalization of Correctness Model}{\thepage }{section.2}}
-\newlabel{sec:formalization}{{2}{\thepage }{Formalization of Correctness Model}{section.2}{}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}References}{\thepage }{section.3}}
 \bibcite{linearizableref}{8}
 \bibcite{scmemorymodel}{9}
 \bibcite{javaConcurrentHashMap}{10}