Skip to content
Snippets Groups Projects
Commit 4fe7cf4c authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Fix affiliation

parent 2a770483
No related branches found
No related tags found
1 merge request!5Document cvc5-style numerals
......@@ -214,7 +214,7 @@ break
\textsuperscript{1} Universidade Federal de Minas Gerais, Brazil\\
\textsuperscript{2} Albert-Ludwig-Universität Freiburg, Germany\\
\textsuperscript{3} Université de Liège, Belgium\\
\textsuperscript{4} University of Iowa, Iowa City, USA\\
\textsuperscript{4} The University of Iowa, Iowa City, USA\\
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment