code formatting

informalsystems · Dec 13, 2023 · 3f92ddc · 3f92ddc
1 parent 76b2876
commit 3f92ddc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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;