From 2cc5f93b34c5196b703d04340c2cb696841a865e Mon Sep 17 00:00:00 2001
From: Tim Wiechers <mail@timwie.dev>
Date: Thu, 3 Oct 2024 17:41:01 +0200
Subject: [PATCH] CI: fix test imports

---
 src/tests_kani.rs | 2 +-
 src/tests_prop.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tests_kani.rs b/src/tests_kani.rs
index 7d19015..879dff4 100644
--- a/src/tests_kani.rs
+++ b/src/tests_kani.rs
@@ -1,4 +1,4 @@
-use crate::{Serial, ArchivedSerial};
+use super::*;
 
 #[kani::proof]
 fn check_increase() {
diff --git a/src/tests_prop.rs b/src/tests_prop.rs
index 6a4fe5b..315e910 100644
--- a/src/tests_prop.rs
+++ b/src/tests_prop.rs
@@ -1,4 +1,4 @@
-use crate::{ArchivedSerial, Serial};
+use super::*;
 use proptest::prelude::*;
 use proptest_arbitrary_interop::arb;