Run fmt

Author: Patrick-6

src/concurrency/genmc/mod.rs

@@ -27,16 +27,16 @@ use crate::*;
 mod config;
 mod global_allocations;
 mod helper;
-mod shims;
 mod run;
 pub(crate) mod scheduling;
+mod shims;
 mod thread_id_map;
 
 pub use genmc_sys::GenmcParams;
 
 pub use self::config::GenmcConfig;
-pub use self::shims::EvalContextExt as GenmcEvalContextExt;
 pub use self::run::run_genmc_mode;
+pub use self::shims::EvalContextExt as GenmcEvalContextExt;
 
 #[derive(Debug)]
 pub enum ExecutionEndResult {