From bdef9a110f98e83ae0adb1a3d4ef35f195949ad5 Mon Sep 17 00:00:00 2001
From: WeetHet <stas.ale66@gmail.com>
Date: Tue, 24 Sep 2024 12:10:21 +0300
Subject: [PATCH] rename cot prompt dir

---
 .../{dafny_invariants_cot => humaneval-dafny-cot}/steps/001.txt   | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename prompts/{dafny_invariants_cot => humaneval-dafny-cot}/steps/001.txt (100%)

diff --git a/prompts/dafny_invariants_cot/steps/001.txt b/prompts/humaneval-dafny-cot/steps/001.txt
similarity index 100%
rename from prompts/dafny_invariants_cot/steps/001.txt
rename to prompts/humaneval-dafny-cot/steps/001.txt