updating the HiCR version

noabauma · noabauma · commit 786a2d2a7bfe · 2025-09-18T10:48:12.000+02:00
diff --git a/extern/HiCR b/extern/HiCR
@@ -1 +1 @@
-Subproject commit 6f49ccb094d1d359ac85ffbd970e2b85bb1eff40
+Subproject commit 24d003a302ec9c739fbf753698ba07136e9ffa47
