From e9b08d638cceb38c61298ae4d7dd895a36edd7f2 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 6 Mar 2019 13:51:45 +0100
Subject: [PATCH] s/bool/bit/

---
 p4src/headers.p4        | 2 +-
 p4src/static-mapping.p4 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/p4src/headers.p4 b/p4src/headers.p4
index 63b2ef9..203c54a 100644
--- a/p4src/headers.p4
+++ b/p4src/headers.p4
@@ -134,7 +134,7 @@ struct metadata {
     task_t task;
     bit<16> tcp_length;
     bit<32> cast_length;
-    bool do_cksum;
+    bit<1> do_cksum;
 }
 
 #endif
\ No newline at end of file
diff --git a/p4src/static-mapping.p4 b/p4src/static-mapping.p4
index 15576d1..a3c8dd5 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -62,7 +62,7 @@ control MyIngress(inout headers hdr,
 
         hdr.icmp6.type = ICMP6_ECHO_REPLY;
 
-        meta.do_cksum = true;
+        meta.do_cksum = 1;
         //meta.cast_length = (bit<32>) hdr.ipv6.payload_length;
     }