ele_num needs to be a pointer corrected a naughty abuse of make_element_numbering that got caught by the different interface.
ele_num needs to be a pointer
corrected a naughty abuse of make_element_numbering that got caught by
the different interface.

iakovos-panourgias/fluidity,rjferrier/fluidity,jrper/fluidity,iakovos-panourgias/fluidity,jrper/fluidity,jjo31/ATHAM-Fluidity,jrper/fluidity,iakovos-panourgias/fluidity,rjferrier/fluidity,jjo31/ATHAM-Fluidity,jjo31/ATHAM-Fluidity,jjo31/ATHAM-Fluidity,jrper/fluidity,jjo31/ATHAM-Fluidity,rjferrier/fluidity,iakovos-panourgias/fluidity,rjferrier/fluidity,rjferrier/fluidity,iakovos-panourgias/fluidity,jrper/fluidity