Skip to content

Commit

Permalink
Fixed clippy lints
Browse files Browse the repository at this point in the history
  • Loading branch information
Kixiron committed Apr 19, 2021
1 parent 0ac353b commit 957610c
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion rust/template/differential_datalog/src/program/worker.rs
Original file line number Diff line number Diff line change
Expand Up @@ -628,7 +628,8 @@ impl<'a> DDlogWorker<'a> {
}

// TODO: Add back regions for relations
fn render_relation<'a, S>(
#[allow(clippy::clippy::too_many_arguments)]
fn render_relation<S>(
relation: &Relation,
// TODO: Shift to generic representations for ddflow-related structs
scope: &mut S,
Expand Down Expand Up @@ -707,6 +708,7 @@ fn render_relation<'a, S>(
}

// TODO: Regions for SCCs
#[allow(clippy::clippy::too_many_arguments)]
fn render_scc<'a>(
rels: &[RecursiveRelation],
node_id: RelId,
Expand Down

0 comments on commit 957610c

Please sign in to comment.