From d82c843fff26042806011e3f4fe9671d634b790e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 10 Jul 2019 09:08:32 +0200
Subject: [PATCH] Re-include NAT64 generic

---
 p4src/checksum_diff.p4 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/p4src/checksum_diff.p4 b/p4src/checksum_diff.p4
index ce4987d..12a9d9c 100644
--- a/p4src/checksum_diff.p4
+++ b/p4src/checksum_diff.p4
@@ -138,6 +138,9 @@ control MyIngress(inout headers hdr,
     inout standard_metadata_t standard_metadata) {
 
 
+    #include "nat64_generic.p4"
+
+
 	/********************** APPLYING TABLES ***********************************/
     apply {
         if(hdr.ipv6.isValid()) {