/* \summary: OpenFlow protocol version 1.3 printer */
-#ifdef HAVE_CONFIG_H
#include <config.h>
-#endif
#include "netdissect-stdinc.h"
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));