[ test ] typesetting 'de Bruin'

agda · Sep 17, 2024 · fd04159 · fd04159
1 parent ef4383d
commit fd04159
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/paper.bib b/paper/paper.bib
@@ -1,5 +1,5 @@
 @mastersthesis{ivardeBruin2023,
-  author = {Ivar de Bruin},
+  author = {Ivar {de Bruin}},
   title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,