From aca088094ed81ccce0909c5cc607fe81a2e7fc80 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 6 Mar 2019 19:39:20 +0100
Subject: [PATCH] Re-add tcp_length

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

diff --git a/p4src/bug1-bool.p4 b/p4src/bug1-bool.p4
index cf041cd..4a2a4a7 100644
--- a/p4src/bug1-bool.p4
+++ b/p4src/bug1-bool.p4
@@ -131,6 +131,7 @@ struct headers {
 }
 
 struct metadata {
+    bit<16> tcp_length;
     bool do_cksum;
 }