Yes, at the time they did and that was the reason given for Texas not allowing their boys to wrestle girls. May still be the case, but I do not know that for certain.

This may be an understandable rule IN Texas, but if competing outside of Texas it does not make much sense, IMO.