diff --git a/src/gadgets/r1cs.rs b/src/gadgets/r1cs.rs
index 3950c846..c71e2db7 100644
--- a/src/gadgets/r1cs.rs
+++ b/src/gadgets/r1cs.rs
@@ -7,8 +7,8 @@ use super::{
   },
 };
 use crate::{
-  cyclefold::gadgets::emulated::{AllocatedEmulPoint, AllocatedEmulRelaxedR1CSInstance},
   constants::{NUM_CHALLENGE_BITS, NUM_FE_WITHOUT_IO_FOR_NOVA_FOLD},
+  cyclefold::gadgets::emulated::{AllocatedEmulPoint, AllocatedEmulRelaxedR1CSInstance},
   gadgets::{
     ecc::AllocatedPoint,
     utils::{
@@ -466,7 +466,6 @@ pub fn conditionally_select_emul_alloc_relaxed_r1cs<
   Ok(c)
 }
 
-
 /// c = cond ? a: b, where a, b: `AllocatedPoint`
 pub fn conditionally_select_point<G: Group, CS: ConstraintSystem<G::Base>>(
   mut cs: CS,
diff --git a/src/supernova/cyclefold/augmented_circuit.rs b/src/supernova/cyclefold/augmented_circuit.rs
index 4e981863..af3a63f6 100644
--- a/src/supernova/cyclefold/augmented_circuit.rs
+++ b/src/supernova/cyclefold/augmented_circuit.rs
@@ -708,4 +708,4 @@ where
 
     Ok((program_counter_new, z_next))
   }
-}
\ No newline at end of file
+}
diff --git a/src/supernova/cyclefold/mod.rs b/src/supernova/cyclefold/mod.rs
index 66374fb3..72e34321 100644
--- a/src/supernova/cyclefold/mod.rs
+++ b/src/supernova/cyclefold/mod.rs
@@ -4,4 +4,4 @@ pub mod snark;
 mod traits;
 
 #[cfg(test)]
-mod tests;
\ No newline at end of file
+mod tests;
diff --git a/src/supernova/cyclefold/snark.rs b/src/supernova/cyclefold/snark.rs
index 30d6a13b..b42ee052 100644
--- a/src/supernova/cyclefold/snark.rs
+++ b/src/supernova/cyclefold/snark.rs
@@ -739,4 +739,4 @@ where
 
     Ok(z0_primary.to_vec())
   }
-}
\ No newline at end of file
+}
diff --git a/src/supernova/cyclefold/tests.rs b/src/supernova/cyclefold/tests.rs
index 97ed10d6..d4b72882 100644
--- a/src/supernova/cyclefold/tests.rs
+++ b/src/supernova/cyclefold/tests.rs
@@ -411,4 +411,4 @@ where
 fn test_trivial_nivc() -> Result<(), SuperNovaError> {
   // Experimenting with selecting the running claims for nifs
   test_trivial_nivc_with::<PallasEngine>()
-}
\ No newline at end of file
+}
diff --git a/src/supernova/cyclefold/traits.rs b/src/supernova/cyclefold/traits.rs
index f20885da..6eabe72b 100644
--- a/src/supernova/cyclefold/traits.rs
+++ b/src/supernova/cyclefold/traits.rs
@@ -20,4 +20,4 @@ where
 
   /// Return a new instance of the primary circuit at `index`.
   fn primary_circuit(&self, circuit_index: usize) -> Self::C1;
-}
\ No newline at end of file
+}