Skip to content

Commit

Permalink
Lints.
Browse files Browse the repository at this point in the history
  • Loading branch information
zrho committed Dec 10, 2024
1 parent 21ee97c commit 129fbaa
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions hugr-core/src/import.rs
Original file line number Diff line number Diff line change
Expand Up @@ -259,7 +259,7 @@ impl<'a> Context<'a> {
let name = node_data
.operation
.symbol()
.ok_or_else(|| model::ModelError::InvalidSymbol(node_id))?;
.ok_or(model::ModelError::InvalidSymbol(node_id))?;
Ok(name)
}

Expand Down Expand Up @@ -867,7 +867,7 @@ impl<'a> Context<'a> {

self.local_vars
.get_mut(var)
.ok_or_else(|| model::ModelError::InvalidVar(*var))?
.ok_or(model::ModelError::InvalidVar(*var))?
.bound = TypeBound::Copyable;
}
_ => return Err(error_unsupported!("constraint other than copy or discard")),
Expand Down

0 comments on commit 129fbaa

Please sign in to comment.