From 77b21207b9280505849e26604c2d06fbafea1d3b Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 4 Mar 2019 18:19:01 +0100
Subject: [PATCH] Fix task width

---
 p4src/headers.p4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/p4src/headers.p4 b/p4src/headers.p4
index 5382d10..84c48d1 100644
--- a/p4src/headers.p4
+++ b/p4src/headers.p4
@@ -10,7 +10,7 @@ typedef bit<32>  ipv4_addr_t;
 typedef bit<128> ipv6_addr_t;
 typedef bit<9>   port_t;
 typedef bit<16>  mcast_t;
-typedef bit<8>   task_t;
+typedef bit<16>  task_t;
 
 
 const bit<16> TYPE_IPV4  = 0x0800;