[xml] best way of converting xmlChar* to char*

[Michel Audette <michel audette kitware com>]

Dear fellow XML developers,

I was able to find a way of converting from char* to xmlChar* via
xmlCharStrdup, but my collaborators and I were wondering if there were
a function that does the reverser conversion, from xmlChar* to char*,
other than a cast.

We prefer to do this with a function than a cast if possible.

Best wishes,

Michel

--
Michel Audette, Ph.D.
R & D Engineer,
Kitware Inc.,
Chapel Hill, N.C.