From 62f1a47dd3d56e5ed08b4018a7bb93324099d4da Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Tue, 17 Sep 2024 13:39:05 +0100
Subject: [PATCH] [ test ] gaming the sorting

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

diff --git a/paper/paper.bib b/paper/paper.bib
index 06e5beff5c..2190322ec4 100644
--- a/paper/paper.bib
+++ b/paper/paper.bib
@@ -1,6 +1,6 @@
 @mastersthesis{ivardeBruin2023,
   author = {Ivar {de Bruin}},
-  sortname = {de Bruijn, Ivar},
+  sortname = {Bruijn, Ivar de},
   title = {Improving {Agda}'s module system},
   institution = {Delft University of Technology},
   year = 2023,