From 07704278a00d9e95f41b159dbc7d912b7cfbeae0 Mon Sep 17 00:00:00 2001 From: Michael Tuexen <tuexen@fh-muenster.de> Date: Sun, 8 Jan 2017 14:54:29 +0100 Subject: [PATCH] Whitespace change. --- gtests/net/packetdrill/parser.y | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtests/net/packetdrill/parser.y b/gtests/net/packetdrill/parser.y index bd598c0f..4f2b04ed 100644 --- a/gtests/net/packetdrill/parser.y +++ b/gtests/net/packetdrill/parser.y @@ -2596,7 +2596,7 @@ opt_ip_info ; ip_ecn -: NO_ECN { $$ = ECN_NONE; } +: NO_ECN { $$ = ECN_NONE; } | ECT0 { $$ = ECN_ECT0; } | ECT1 { $$ = ECN_ECT1; } | ECT01 { $$ = ECN_ECT01; } -- GitLab