From 43a0f4d7a609be938dcd32fb50dc24d8eed89d40 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 13 Aug 2024 17:46:10 +0100
Subject: [PATCH] Update subproject max-destabilizer-rank

c80c37b ize -> ise
---
 subprojects/max-destabilizer-rank | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/max-destabilizer-rank b/subprojects/max-destabilizer-rank
index 836e103..c80c37b 160000
--- a/subprojects/max-destabilizer-rank
+++ b/subprojects/max-destabilizer-rank
@@ -1 +1 @@
-Subproject commit 836e103829ad2075f3a9584b449d078cfef497d4
+Subproject commit c80c37bb2b0333e4a89ccbcaa38cd9d3e5f6ad29
-- 
GitLab