Replace const re-declaration when bug is fixed #2392
Description
Once 0xMiden/miden-vm#2637 is merged, we should replace the workarounds introduced in #2377. See this comment for details.
cc @Farukest in case you're interested
{{ message }}
Once 0xMiden/miden-vm#2637 is merged, we should replace the workarounds introduced in #2377. See this comment for details.
cc @Farukest in case you're interested