From bd86fb4bc55cd184a88be93848347a8564a7f2ca Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 6 Mar 2019 19:37:29 +0100
Subject: [PATCH] Fix the ingrees part

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

diff --git a/p4src/bug1-bool.p4 b/p4src/bug1-bool.p4
index 932a575..20a2d4c 100644
--- a/p4src/bug1-bool.p4
+++ b/p4src/bug1-bool.p4
@@ -217,6 +217,9 @@ control MyDeparser(packet_out packet, in headers hdr) {
 }
 
 control MyIngress(inout headers hdr,
+    inout metadata meta,
+    inout standard_metadata_t standard_metadata) {
+
     action icmp6_echo_reply() {
         meta.do_cksum = true;
     }