Update bin_ningb.c

just an aesthetic issue