Skip to content

Commit

Permalink
Lints.
Browse files Browse the repository at this point in the history
  • Loading branch information
zrho committed Jan 27, 2025
1 parent 20246ce commit aef0884
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hugr-model/src/v0/binary/write.rs
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ fn write_operation(mut builder: hugr_capnp::operation::Builder, operation: &mode
}

fn write_symbol(mut builder: hugr_capnp::symbol::Builder, symbol: &model::Symbol) {
let _ = builder.set_name(symbol.name);
builder.set_name(symbol.name);
write_list!(builder, init_params, write_param, symbol.params);
let _ = builder.set_constraints(model::TermId::unwrap_slice(symbol.constraints));
builder.set_signature(symbol.signature.0);
Expand Down

0 comments on commit aef0884

Please sign in to comment.