[xml] xmlChar * to char *

[Dan Morrison <dmorriso gmail com>]

I know you can use the BAD_CAST macro to cast from a normal char * to
an xmlChar *.  Is there a preferred method (other than a (char *)
cast) to move in the other direction?  I don't see any xmlChar* to
char* cast or strcpy in the xmlstring library.

Thanks,
Dan