fix incorrect path

JetBrains-Research · Sep 24, 2024 · 64ffc76 · 64ffc76
1 parent f417a87
commit 64ffc76
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/prompts/dafny_invariants_cot/001.txt → prompts/dafny_invariants_cot/steps/001.txt b/prompts/dafny_invariants_cot/001.txt → prompts/dafny_invariants_cot/steps/001.txt
diff --git a/verified_cogen/runners/step_by_step.py b/verified_cogen/runners/step_by_step.py
@@ -17,7 +17,7 @@ def preprocess(self, prg: str, mode: Mode) -> str:
 
     def rewrite(self, prg: str) -> str:
         steps: list[Step] = []
-        for step in sorted(pathlib.Path("prompts/step_by_step").glob("*.txt")):
+        for step in sorted((pathlib.Path(self.llm.prompt_dir) / "steps").glob("*.txt")):
             steps.append(Step(step.read_text()))
         for step in steps:
             for substep in step.substeps: