From 572848d9f07e6ba871a00020a28f224106b95b94 Mon Sep 17 00:00:00 2001 From: kevin zhao Date: Mon, 1 Dec 2025 19:17:00 -0500 Subject: [PATCH] delete useless comment --- codex-rs/core/src/exec_policy.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/codex-rs/core/src/exec_policy.rs b/codex-rs/core/src/exec_policy.rs index e8809868ff..af28f183da 100644 --- a/codex-rs/core/src/exec_policy.rs +++ b/codex-rs/core/src/exec_policy.rs @@ -149,7 +149,6 @@ fn allow_prefix_if_applicable(evaluation: &Evaluation, features: &Features) -> O } } _ if rule_match.decision() == Decision::Prompt => { - // Any rule-based prompt suppresses allow-prefix. return None; } _ => {}