From cb3b1501ef776430f4e2ae2abb2ae192e6b0144a Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sat, 30 Mar 2019 17:03:06 +0100
Subject: [PATCH] also setter code s/true/1/

---
 p4src/static-mapping.p4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/p4src/static-mapping.p4 b/p4src/static-mapping.p4
index a4966eb..6e2de63 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -57,7 +57,7 @@ control MyIngress(inout headers hdr,
         /* trigger checksumming */
         meta.switch_task = TASK_CHECKSUM_ICMP;
 
-        meta.chk_icmp = true;
+        meta.chk_icmp = 1;
 
         hdr.icmp6.setInvalid();
 
@@ -160,7 +160,7 @@ Echo or Echo Reply Message
         hdr.icmp6.setValid();
         hdr.ipv6.next_header = PROTO_ICMP6;
 
-        meta.chk_icmp6 = true;
+        meta.chk_icmp6 = 1;
 
         hdr.icmp.setInvalid();
     }