From ef4383dd853f0637bae8dd1db40f0c6d2c8e8246 Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Tue, 17 Sep 2024 13:27:58 +0100
Subject: [PATCH] [ test ] typesetting 'de Bruin'

---
 paper/paper.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paper/paper.bib b/paper/paper.bib
index 4292048ff3..ceaaa5b5c5 100644
--- a/paper/paper.bib
+++ b/paper/paper.bib
@@ -1,5 +1,5 @@
 @mastersthesis{ivardeBruin2023,
-  author = {de Bruin, Ivar},
+  author = {Ivar de Bruin},
   title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,