From 47c99cb4ab3b7be26ec8bd9dd8bb3c578b4276e1 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Sun, 21 Jul 2024 23:37:37 +0100
Subject: [PATCH] Update subproject general-semi-homog-presentation

827246a Complete proofs other than existence of stable kernel
---
 subprojects/general-semi-homog-presentation | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/general-semi-homog-presentation b/subprojects/general-semi-homog-presentation
index 8e569ce..827246a 160000
--- a/subprojects/general-semi-homog-presentation
+++ b/subprojects/general-semi-homog-presentation
@@ -1 +1 @@
-Subproject commit 8e569ce9a622ab9b5e779a539939a0b524e19557
+Subproject commit 827246acb185e4281fed3e4d9c8bfc4aa9bf0954
-- 
GitLab