Cast to 8 bit for port

This commit is contained in:
Nico Schottelius 2019-07-29 09:38:34 +02:00
parent 62e0279b25
commit ed4db31e2c

View file

@ -17,7 +17,7 @@ action select_port_by_type() {
*/
sume_metadata.dst_port = hdr.ethernet.ethertype >> 11;
sume_metadata.dst_port = (bit<8>) hdr.ethernet.ethertype >> 11;
}