From 3bd1f0c8a0c7a98d0557f1ca64bb0c2d416d953f Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 16 Nov 2024 15:16:57 -0800
Subject: [PATCH] Update Agda SPA imp

---
 code/agda-spa | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/agda-spa b/code/agda-spa
index 4fba1fe..9131214 160000
--- a/code/agda-spa
+++ b/code/agda-spa
@@ -1 +1 @@
-Subproject commit 4fba1fe79a49e40d54063ede96a58be8baba87ea
+Subproject commit 913121488069a20cdfd40777a8777eb3744c415e