fix(proof-crate-gen): remove duplicate closing delimiter in render_readme

crumplecup · Copilot · crumplecup · commit 136fe1b524b8 · 2026-06-03T08:24:33.000-07:00
Leftover '#) } from previous edit caused unterminated string parse error
and CI fmt failure on all platforms.

Co-authored-by: Copilot &lt;223556219+Copilot@users.noreply.github.com&gt;
diff --git a/crates/elicitation/src/cli/generate/proof_crate_gen.rs b/crates/elicitation/src/cli/generate/proof_crate_gen.rs
@@ -764,10 +764,6 @@ elicitation generate proof-crate \
 "#
     )
 }
-"#
-    )
-}
-
 
 /// return the names of any external crates that appear in `workspace_deps` but
 /// are not already emitted by `render_cargo_toml` as explicit deps.

Original file line number	Diff line number	Diff line change
`@@ -764,10 +764,6 @@ elicitation generate proof-crate \`
`764`	`764`	`"#`
`765`	`765`	`)`
`766`	`766`	`}`
`767`		`-"#`
`768`		`- )`
`769`		`-}`
`770`		`-`
`771`	`767`
`772`	`768`	/// return the names of any external crates that appear in `workspace_deps` but
`773`	`769`	/// are not already emitted by `render_cargo_toml` as explicit deps.