Commit 3f3d97f3 authored by Glen Mével's avatar Glen Mével
Browse files

remove some LaTeX warnings

parent 43de4827
......@@ -63,7 +63,7 @@
{Formal Verification of a Concurrent Bounded Queue With a Ring Buffer}
\author{Glen Mével}
\affiliation{
\affiliation{%
\institution{Inria, Université Paris-Saclay, CNRS, Laboratoire de méthodes formelles}
\postcode{91405}
\city{Orsay}
......@@ -72,7 +72,7 @@
\email{glen.mevel@inria.fr}
\author{Jacques-Henri Jourdan}
\affiliation{
\affiliation{%
\institution{Université Paris-Saclay, CNRS, Laboratoire de méthodes formelles}
\postcode{91405}
\city{Orsay}
......@@ -81,7 +81,7 @@
\email{jacques-henri.jourdan@lri.fr}
\author{François Pottier}
\affiliation{
\affiliation{%
\institution{Inria}
\country{France}
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment