From 1112217b8a28edc07d45c578957e3d066521cce5 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 13 Aug 2024 18:45:23 +0100
Subject: [PATCH] Update subproject infinite-walls-for-bogomolov-non-critical

1a59be9 Remove faded part of formula
---
 subprojects/infinite-walls-for-bogomolov-non-critical | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/infinite-walls-for-bogomolov-non-critical b/subprojects/infinite-walls-for-bogomolov-non-critical
index 83dfe29..1a59be9 160000
--- a/subprojects/infinite-walls-for-bogomolov-non-critical
+++ b/subprojects/infinite-walls-for-bogomolov-non-critical
@@ -1 +1 @@
-Subproject commit 83dfe29bbef2a267a95559bfba7cc6899763db58
+Subproject commit 1a59be9b1b0cee1e842bfd45d948a8330c66eec2
-- 
GitLab