ofproto: Fix bad merge in previous commit.
[openvswitch] / extras /
drwxr-xr-x   ..
drwxr-xr-x - ezio