diff --git a/taiga_halo2/src/circuit/vp_circuit.rs b/taiga_halo2/src/circuit/vp_circuit.rs
index 2a1e973c..863642a5 100644
--- a/taiga_halo2/src/circuit/vp_circuit.rs
+++ b/taiga_halo2/src/circuit/vp_circuit.rs
@@ -22,7 +22,7 @@ use halo2_proofs::{
     plonk::{keygen_pk, keygen_vk, Circuit, ConstraintSystem, Error, VerifyingKey},
     poly::commitment::Params,
 };
-use pasta_curves::{EqAffine, Fp, pallas, vesta};
+use pasta_curves::{pallas, vesta, EqAffine, Fp};
 use rand::rngs::OsRng;
 use std::collections::HashMap;
 use std::fs;
@@ -31,7 +31,7 @@ use std::rc::Rc;
 use vamp_ir::ast::Module;
 use vamp_ir::halo2::synth::{make_constant, Halo2Module, PrimeFieldOps};
 use vamp_ir::transform::compile;
-use vamp_ir::util::{Config, read_inputs_from_file};
+use vamp_ir::util::{read_inputs_from_file, Config};
 
 #[derive(Debug, Clone)]
 pub struct VPVerifyingInfo {
@@ -497,7 +497,11 @@ impl VampIRValidityPredicateCircuit {
         let config = Config { quiet: true };
         let vamp_ir_source = fs::read_to_string(vamp_ir_file).expect("cannot read vamp-ir file");
         let parsed_vamp_ir_module = Module::parse(&vamp_ir_source).unwrap();
-        let vamp_ir_module = compile(parsed_vamp_ir_module, &PrimeFieldOps::<Fp>::default(), &config);
+        let vamp_ir_module = compile(
+            parsed_vamp_ir_module,
+            &PrimeFieldOps::<Fp>::default(),
+            &config,
+        );
         let mut circuit = Halo2Module::<Fp>::new(Rc::new(vamp_ir_module));
         let params: Params<EqAffine> = Params::new(circuit.k);