-1

2019-07-27 21:38:13 +02:00 · 2019-07-27 21:38:13 +02:00 · 6007001838
commit 6007001838
parent 1ae0294a39
1 changed files with 1 additions and 1 deletions
--- 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;
            }