From 987bcb749e409ea3829f8b12a4ee988749e61902 Mon Sep 17 00:00:00 2001
From: arctic-alpaca <67190338+arctic-alpaca@users.noreply.github.com>
Date: Sun, 15 Sep 2024 18:22:30 +0200
Subject: [PATCH] Fix kani

---
 src/ieee802_1q_vlan/verification.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ieee802_1q_vlan/verification.rs b/src/ieee802_1q_vlan/verification.rs
index f5a304e..18654f2 100644
--- a/src/ieee802_1q_vlan/verification.rs
+++ b/src/ieee802_1q_vlan/verification.rs
@@ -244,7 +244,7 @@ fn add_or_update_ieee802_1q_s_tag_complete() {
                     let tcp_header_start_offset = to_test.header_start_offset(Layer::Tcp);
                     let tcp_header_length = to_test.header_length(Layer::Tcp);
 
-                    let param = kani::arbitrary::Arbitrary::any_array();
+                    let param = kani::Arbitrary::any_array();
                     if to_test.add_or_update_ieee802_1q_s_tag(&param).is_ok()
                         && vlan == Vlan::SingleTagged
                     {