Fix kani

arctic-alpaca · Sep 15, 2024 · 987bcb7 · 987bcb7
1 parent b72058e
commit 987bcb7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
                     {