Restore import

model-checking · Jul 9, 2024 · 1caabb7 · 1caabb7
1 parent be69c27
commit 1caabb7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/expected/attr-invariant/check_invariant/check_invariant.rs b/tests/expected/attr-invariant/check_invariant/check_invariant.rs
@@ -5,6 +5,7 @@
 //! `Arbitrary` and `Invariant` implementations for the annotated type.
 
 extern crate kani;
+use kani::Invariant;
 
 #[kani::invariant(x.is_safe() && y.is_safe())]
 struct Point {