From b04444a212715ff4e5e28ead4adc5535186eca67 Mon Sep 17 00:00:00 2001
From: WeetHet <stas.ale66@gmail.com>
Date: Wed, 16 Oct 2024 13:31:57 +0300
Subject: [PATCH] Update humaneval-dafny to contain text descriptions

---
 benches/HumanEval-Dafny | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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