Finish the pruning of unsupported OSes.

[tcpdump] / print-openflow-1.3.c

diff --git a/print-openflow-1.3.c b/print-openflow-1.3.c
index b077e9266bb61c27e4f08f56d28fa5523290c2af..6dedf50b5ed90bae59e0ae8d8aa970f2e63824ba 100644 (file)
--- a/print-openflow-1.3.c
+++ b/print-openflow-1.3.c
@@ -676,7 +676,7 @@ of13_port_print(netdissect_options *ndo,
        cp += 4;
        /* state */
        ND_PRINT("\n\t   state 0x%08x", GET_BE_U_4(cp));
-       of_bitmap_print(ndo, ofpps_bm, GET_BE_U_4(cp), OFPPS_U);;
+       of_bitmap_print(ndo, ofpps_bm, GET_BE_U_4(cp), OFPPS_U);
        cp += 4;
        /* curr */
        ND_PRINT("\n\t   curr 0x%08x", GET_BE_U_4(cp));