format

cucapra · Dec 11, 2023 · 8886fef · 8886fef
1 parent 9f70bc5
commit 8886fef
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/ir/analysis.rs b/src/ir/analysis.rs
@@ -2,9 +2,7 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 
-use crate::ir::{
-    Context, Expr, ExprRef, GetNode, SignalInfo, SignalKind, State, TransitionSystem,
-};
+use crate::ir::{Context, Expr, ExprRef, GetNode, SignalInfo, SignalKind, State, TransitionSystem};
 use std::collections::HashMap;
 use std::ops::Index;