From 1e044463986aae88ca3160fab112216d0ed20d76 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Thu, 14 Mar 2019 14:52:26 +0100
Subject: [PATCH] Cast the result

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

diff --git a/p4src/static-mapping.p4 b/p4src/static-mapping.p4
index faa0f3a..26eb6c9 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -120,7 +120,7 @@ control MyIngress(inout headers hdr,
         ipv6_addr_t src_offset = hdr.ipv6.src_addr - v6_network;
         ipv4_addr_t src        = v4_network + (ipv4_addr_t) src_offset;
 
-        ipv4_addr_t dst        = (ipv4_addr_t) hdr.ipv6.dst_addr - nat64_prefix;
+        ipv4_addr_t dst        = (ipv4_addr_t) (hdr.ipv6.dst_addr - nat64_prefix);
 
         nat64_generic(src, dst);
     }