This commit is contained in:
Nico Schottelius 2019-07-17 17:38:55 +02:00
parent 831d69fe9c
commit d8d1defa50

View file

@ -67,7 +67,7 @@ action delta_udp_from_v4_to_v6()
tmp[16:16] = 0; tmp[16:16] = 0;
} }
hdr.udp.checksum = tmp; hdr.udp.checksum = (bit<16>) tmp;
} }
action delta_tcp_from_v4_to_v6() action delta_tcp_from_v4_to_v6()
@ -85,7 +85,7 @@ action delta_tcp_from_v4_to_v6()
tmp[16:16] = 0; tmp[16:16] = 0;
} }
hdr.tcp.checksum = tmp; hdr.tcp.checksum = (bit<16>) tmp;
} }
action delta_ipv4_from_v6_to_v4() action delta_ipv4_from_v6_to_v4()