From 1e9ba58148e6a1294fa66402762634f5596bc082 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 25 Mar 2019 14:00:22 +0100
Subject: [PATCH] +;

---
 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 8bea377..5c9196b 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -344,7 +344,7 @@ control MyIngress(inout headers hdr,
             // }
         }
         if(hdr.ipv4.isValid()) {
-            nat46.apply()     /* v4->v6 */
+            nat46.apply();     /* v4->v6 */
             v4_networks.apply(); /* routing, egress */
 
             // if(!nat46.apply().hit) {       /* v4->v6 */