diff --git a/lib/odp-util.c b/lib/odp-util.c index d65ebb54168..a8598d52af0 100644 --- a/lib/odp-util.c +++ b/lib/odp-util.c @@ -391,7 +391,8 @@ format_odp_push_nsh_action(struct ds *ds, break; } default: - OVS_NOT_REACHED(); + ds_put_cstr(ds, ","); + break; } ds_put_format(ds, ")"); }