From 957610c657c42c76acba3e9725a992d2adf51b3f Mon Sep 17 00:00:00 2001
From: Chase Wilson <me@chasewilson.dev>
Date: Mon, 19 Apr 2021 13:09:09 -0500
Subject: [PATCH] Fixed clippy lints

---
 rust/template/differential_datalog/src/program/worker.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/rust/template/differential_datalog/src/program/worker.rs b/rust/template/differential_datalog/src/program/worker.rs
index b3af3249a..543c5ad82 100644
--- a/rust/template/differential_datalog/src/program/worker.rs
+++ b/rust/template/differential_datalog/src/program/worker.rs
@@ -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,
@@ -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,