From 260857b45791509ab84b757e961a79d92d0d42a4 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 6 Mar 2019 19:38:13 +0100
Subject: [PATCH] Remove unused meta field

---
 p4src/bug1-bool.p4 | 1 -
 1 file changed, 1 deletion(-)

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 */
             },