diff --git a/basic/src/lib.rs b/basic/src/lib.rs
index d237baaa..1dcacee2 100644
--- a/basic/src/lib.rs
+++ b/basic/src/lib.rs
@@ -52,10 +52,8 @@ use valida_output::{MachineWithOutputChip, OutputChip, WriteInstruction};
 use valida_program::{MachineWithProgramChip, ProgramChip};
 use valida_range::{MachineWithRangeChip, RangeCheckerChip};
 
-
 #[derive(Default)]
 pub struct BasicMachine<F: PrimeField64 + TwoAdicField, EF: ExtensionField<F>> {
-
     // Core instructions
     load32: Load32Instruction,
 
diff --git a/machine/src/__internal/prove.rs b/machine/src/__internal/prove.rs
index 356f38af..3a9042cb 100644
--- a/machine/src/__internal/prove.rs
+++ b/machine/src/__internal/prove.rs
@@ -1,4 +1,3 @@
-
 use crate::__internal::ConstraintFolder;
 use crate::proof::ChipProof;
 use crate::{Chip, Machine};
diff --git a/machine/src/lib.rs b/machine/src/lib.rs
index 61101771..bdc1e6c9 100644
--- a/machine/src/lib.rs
+++ b/machine/src/lib.rs
@@ -179,6 +179,5 @@ pub trait Machine<F: Field> {
     where
         SC: StarkConfig<Val = Self::F, Challenge = Self::EF>;
 
-
     fn verify<SC: StarkConfig<Val = F>>(proof: &MachineProof<SC>) -> Result<(), ()>;
 }