From 3f92ddc5f5a608ccb8d5419a1e500ec8e76cc175 Mon Sep 17 00:00:00 2001
From: hvanz <hernan.vanzetto@gmail.com>
Date: Wed, 13 Dec 2023 14:06:27 +0100
Subject: [PATCH] code formatting

---
 Code/itf/src/consensus.rs   | 2 +-
 Code/itf/tests/consensus.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Code/itf/src/consensus.rs b/Code/itf/src/consensus.rs
index 1289261e4..e000aa940 100644
--- a/Code/itf/src/consensus.rs
+++ b/Code/itf/src/consensus.rs
@@ -2,8 +2,8 @@ use itf::de::{As, Integer, Same};
 use serde::Deserialize;
 use std::collections::HashMap;
 
-use crate::types::{Address, Height, Round, Timeout, Value, Proposal, Vote, NonNilValue, Step};
 use crate::deserializers as de;
+use crate::types::{Address, Height, NonNilValue, Proposal, Round, Step, Timeout, Value, Vote};
 
 #[derive(Clone, Debug, Deserialize)]
 pub struct State {
diff --git a/Code/itf/tests/consensus.rs b/Code/itf/tests/consensus.rs
index 934c5ae45..f1830236c 100644
--- a/Code/itf/tests/consensus.rs
+++ b/Code/itf/tests/consensus.rs
@@ -7,8 +7,8 @@ use glob::glob;
 use rand::rngs::StdRng;
 use rand::SeedableRng;
 
-use malachite_itf::utils::generate_traces;
 use malachite_itf::consensus::State;
+use malachite_itf::utils::generate_traces;
 use malachite_test::{Address, PrivateKey};
 
 use runner::ConsensusRunner;