From dae3d5ce3028945bd80ae0b71ad5c43d197326dd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sat, 30 Mar 2019 16:53:20 +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 a768eec..ec52112 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -200,7 +200,7 @@ Echo or Echo Reply Message
         key = {
             hdr.ipv6.dst_addr: lpm;
         }
-        actions =
+        actions = {
             controller_debug;
             nat64_static;
             controller_debug_table_id;