diff --git a/p4src/bug1-bool.p4 b/p4src/bug1-bool.p4 index 20a2d4c..cf041cd 100644 --- a/p4src/bug1-bool.p4 +++ b/p4src/bug1-bool.p4 @@ -260,7 +260,6 @@ control MyComputeChecksum(inout headers hdr, inout metadata meta) { { hdr.ipv6.src_addr, /* 128 */ hdr.ipv6.dst_addr, /* 128 */ - meta.cast_length, /* 32 */ 24w0, /* 24 0's */ PROTO_ICMP6 /* 8 */ },