From 30fd4f78d0bd595fc71b0f00d1d57bfa19d3efea Mon Sep 17 00:00:00 2001 From: Maddiaa0 <47148561+Maddiaa0@users.noreply.github.com> Date: Tue, 9 Jan 2024 16:24:01 +0000 Subject: [PATCH] fmt --- bberg/src/lookup_builder.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/bberg/src/lookup_builder.rs b/bberg/src/lookup_builder.rs index 6d9c486787..490ad104d2 100644 --- a/bberg/src/lookup_builder.rs +++ b/bberg/src/lookup_builder.rs @@ -15,7 +15,7 @@ use crate::utils::sanitize_name; /// Lookup /// /// Contains the information required to produce a lookup relation -/// Lookup object and lookup side object are very similar in structure, however they are duplicated for +/// Lookup object and lookup side object are very similar in structure, however they are duplicated for /// readability. pub struct Lookup { /// the name given to the inverse helper column @@ -39,7 +39,6 @@ pub struct LookupSide { cols: Vec, } - pub trait LookupBuilder { /// Takes in an AST and works out what lookup relations are needed /// Note: returns the name of the inverse columns, such that they can be added to the prover in subsequent steps @@ -352,7 +351,9 @@ fn create_compute_inverse_exist(lhs_selector: &String, rhs_selector: &String) -> }}") } -fn get_lookup_side(def: &SelectedExpressions>) -> LookupSide { +fn get_lookup_side( + def: &SelectedExpressions>, +) -> LookupSide { let get_name = |expr: &AlgebraicExpression| match expr { AlgebraicExpression::Reference(a_ref) => sanitize_name(&a_ref.name), _ => panic!("Expected reference"),