From 6007001838457c0425f6755c6f225fce51df4148 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Sat, 27 Jul 2019 21:38:13 +0200
Subject: [PATCH] -1

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

diff --git a/p4src/minip4_solution.p4 b/p4src/minip4_solution.p4
index d3d2407..9f47072 100644
--- a/p4src/minip4_solution.p4
+++ b/p4src/minip4_solution.p4
@@ -154,7 +154,7 @@ control RealMain(
                 }
                 if(hdr.tcp.isValid()) {
                     delta_tcp_from_v4_to_v6
-1                }
+                }
                 apply_v4networks = true;
                 apply_v6networks = false;
             }