diff --git a/subprojects/max-destabilizer-rank b/subprojects/max-destabilizer-rank index c80c37bb2b0333e4a89ccbcaa38cd9d3e5f6ad29..cb4742a3bb66d5ae9ddd483a8f9d6633af6b0b0c 160000 --- a/subprojects/max-destabilizer-rank +++ b/subprojects/max-destabilizer-rank @@ -1 +1 @@ -Subproject commit c80c37bb2b0333e4a89ccbcaa38cd9d3e5f6ad29 +Subproject commit cb4742a3bb66d5ae9ddd483a8f9d6633af6b0b0c