Use if instead of switch

This commit is contained in:
Your Name 2019-03-27 13:09:27 +00:00
parent 01d9305350
commit 907f677e2d

View file

@ -84,10 +84,8 @@ control MyIngress(inout headers hdr,
hdr.ipv4.protocol = hdr.ipv6.next_header; hdr.ipv4.protocol = hdr.ipv6.next_header;
switch(hdr.ipv6.next_header) { if(hdr.ipv6.next_header == PROTO_ICMP6) {
PROTO_ICMP6: { nat64_icmp6;
nat64_icmp6;
}
} }
hdr.ipv6.setInvalid(); hdr.ipv6.setInvalid();