From 2718a00a24bc85f1f3d34412cf2275df9b212cc9 Mon Sep 17 00:00:00 2001 From: Mark Dittmer Date: Mon, 6 Jul 2026 16:54:48 +0000 Subject: [PATCH] [anneal][v2] Compile merged util module at stack base The v2 stack previously introduced util.rs in a merged PR but declared the module only when the Charon integration started using it. Declare the module as soon as it exists so later PRs can add users without making earlier files look inert. The temporary dead_code allowance is needed because this bottom-of-stack commit only wires in the module; subsequent generate/Charon changes remove the allowance once the utilities have production call sites. gherrit-pr-id: Ga2l5vkuio57w6b4kafskxw2bg4ri57gr --- anneal/v2/src/main.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/anneal/v2/src/main.rs b/anneal/v2/src/main.rs index 0cb74addc8..81caf2cd76 100644 --- a/anneal/v2/src/main.rs +++ b/anneal/v2/src/main.rs @@ -9,6 +9,9 @@ use clap::Parser as _; +#[allow(dead_code)] +mod util; + /// Anneal #[derive(clap::Parser, Debug)] #[command(name = "cargo-anneal", version, about, long_about = None)]