another enzyme submodule update

ZuseZ4 · ZuseZ4 · commit 51e2d96d8363 · 2025-05-04T18:29:56.000+02:00
diff --git a/src/tools/enzyme b/src/tools/enzyme
@@ -1 +1 @@
-Subproject commit 8cfecc4963972c7ef438f5ea2525a317fd4f6d04
+Subproject commit 4f13e93d8acb048d5445e6ce5d24d33ecae48331
