Skip to content
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions crates/bin/cairo-run/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -72,13 +72,12 @@ fn main() -> anyhow::Result<()> {
}

let main_crate_ids = CrateInput::into_crate_ids(db, main_crate_inputs);
let SierraProgramWithDebug { program: mut sierra_program, debug_info } = db
let SierraProgramWithDebug { program: sierra_program, debug_info } = db
.get_sierra_program(main_crate_ids.clone())
.to_option()
.context("Compilation failed without any diagnostics.")?
.clone();
let replacer = DebugReplacer { db };
replacer.enrich_function_names(&mut sierra_program);
if args.available_gas.is_none() && sierra_program.requires_gas_counter() {
anyhow::bail!("Program requires gas counter, please provide `--available-gas` argument.");
}
Expand Down