diff --git a/benches/HumanEval-Dafny b/benches/HumanEval-Dafny
index 9223614..0887bd1 160000
--- a/benches/HumanEval-Dafny
+++ b/benches/HumanEval-Dafny
@@ -1 +1 @@
-Subproject commit 922361457f4c7cfb7bfd4dc71311b225649b7751
+Subproject commit 0887bd1e7d19c13a8bdb4763ff6920148a441c3b