diff --git a/repos/agda b/repos/agda
index b9b32fa04..e8d47a698 160000
--- a/repos/agda
+++ b/repos/agda
@@ -1 +1 @@
-Subproject commit b9b32fa042c2952a7bfca86847ea325e44ccc897
+Subproject commit e8d47a6987effe34d5595baf321d82d3519a8527