diff --git a/code/agda-spa b/code/agda-spa
index 828b652..4fba1fe 160000
--- a/code/agda-spa
+++ b/code/agda-spa
@@ -1 +1 @@
-Subproject commit 828b652d3b9266e27ef7cf5a8a7fb82e3fd3133f
+Subproject commit 4fba1fe79a49e40d54063ede96a58be8baba87ea