From f0fc4bcf0ef670ab9b91ce7c8bf1282f3b39da86 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 25 Mar 2019 13:44:31 +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 f03bbc7..3137d61 100644
--- a/p4src/static-mapping.p4
+++ b/p4src/static-mapping.p4
@@ -344,7 +344,7 @@ control MyIngress(inout headers hdr,
                 controller_debug_table_id(TABLE_NAT46);
             }
             if(!v4_networks.apply().hit) { /* routing, egress */
-                controller_debug_table_id(TABLE_V4_NETWORKS)
+                controller_debug_table_id(TABLE_V4_NETWORKS);
             }
         }
     }