From 8448e5121b2897e52af618068fc992ece6f8a693 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 4 Mar 2019 18:11:08 +0100
Subject: [PATCH] Fix bitwidth

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

diff --git a/p4src/headers.p4 b/p4src/headers.p4
index 8afc5ec..9d500f5 100644
--- a/p4src/headers.p4
+++ b/p4src/headers.p4
@@ -8,7 +8,7 @@
 typedef bit<48>  mac_addr_t;
 typedef bit<32>  ipv4_addr_t;
 typedef bit<128> ipv6_addr_t;
-typedef bit<9>   port_t;
+typedef bit<16>  port_t;
 typedef bit<16>  mcast_t;
 typedef bit<8>   task_t;