From b5c1e5bff3281c33132841bdaddb7a56f450b1bc Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@meta.com>
Date: Thu, 29 Aug 2024 10:07:04 -0400
Subject: [PATCH] Update tactic_generator.py

---
 prover/tactic_generator.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prover/tactic_generator.py b/prover/tactic_generator.py
index 5e01960..ea2178d 100644
--- a/prover/tactic_generator.py
+++ b/prover/tactic_generator.py
@@ -314,7 +314,6 @@ async def generate(
         theorem_pos: Pos,
         num_samples: int,
     ) -> List[Tuple[str, float]]:
-        # prompt = f"<|begin_of_text|><|start_header_id|>user<|end_header_id|>\n\n[GOAL]\n{state}\n[PROOFSTEP]\n<|eot_id|><|start_header_id|>assistant<|end_header_id|>\n\n"
         prompt = self.template % state
         response = await self.vllm_actor.generate.remote(prompt, num_samples)
         return [