From e8e33c78ea9a39390241489ed071e5a7d08a6e21 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sat, 23 Feb 2019 21:15:47 +0100
Subject: [PATCH] [p4] --typo

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

diff --git a/p4src/parsers.p4 b/p4src/parsers.p4
index dd8e9c7..6f6f768 100644
--- a/p4src/parsers.p4
+++ b/p4src/parsers.p4
@@ -85,7 +85,7 @@ control MyDeparser(packet_out packet, in headers hdr) {
         packet.emit(hdr.tcp);
         packet.emit(hdr.udp);
         packet.emit(hdr.icmp);
-        packet.emit(hdr.icmpv6);
+        packet.emit(hdr.icmp6);
     }
 }