Skip to content

Commit

Permalink
clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
erabinov committed Aug 8, 2024
1 parent 712960c commit 27087cd
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 2 deletions.
1 change: 0 additions & 1 deletion recursion/circuit/src/constraints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@ use sp1_core::stark::AirOpenedValues;
use sp1_core::stark::PROOF_MAX_NUM_PVS;
use sp1_core::stark::{MachineChip, StarkGenericConfig};
use sp1_recursion_compiler::ir::Array;
use sp1_recursion_compiler::ir::ExtensionOperand;
use sp1_recursion_compiler::ir::Felt;
use sp1_recursion_compiler::ir::{Builder, Config, Ext};
use sp1_recursion_compiler::prelude::SymbolicExt;
Expand Down
1 change: 0 additions & 1 deletion recursion/circuit/src/domain.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
use p3_commit::{LagrangeSelectors, TwoAdicMultiplicativeCoset};
use p3_field::AbstractExtensionField;
use p3_field::Field;
use p3_field::{AbstractField, TwoAdicField};
use sp1_recursion_compiler::prelude::*;
Expand Down

0 comments on commit 27087cd

Please sign in to comment.