Fix kani build

nyx-space · May 20, 2024 · 39a5d43 · 39a5d43
1 parent a1e0846
commit 39a5d43
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/src/duration/kani_verif.rs b/src/duration/kani_verif.rs
@@ -10,7 +10,7 @@
 
 // Here lives all of the formal verification for Duration.
 
-use super::{Duration, DurationError};
+use super::{Duration, DurationError, EpochError};
 use crate::NANOSECONDS_PER_CENTURY;
 
 use kani::Arbitrary;

diff --git a/src/duration/mod.rs b/src/duration/mod.rs
@@ -8,10 +8,8 @@
 * Documentation: https://nyxspace.com/
 */
 
-use crate::errors::DurationError;
-use crate::{
-    EpochError, SECONDS_PER_CENTURY, SECONDS_PER_DAY, SECONDS_PER_HOUR, SECONDS_PER_MINUTE,
-};
+use crate::errors::{DurationError, EpochError};
+use crate::{SECONDS_PER_CENTURY, SECONDS_PER_DAY, SECONDS_PER_HOUR, SECONDS_PER_MINUTE};
 
 pub use crate::{Freq, Frequencies, TimeUnits, Unit};