Dear experts,
I have some trouble with the TDOMParser running my code in proof lite mode. The XML parser comes with an official package (so not much I can do there), but runs completely fine as far as I run only in local mode. However, once I switch to proof I get an error message from the xml parser. The problem occurs while calling
TDOMParser::ParseFile
which returns -2 . Looking into this function the error occurs due to a call of xmlCreateFileParserCtxt(filename), which I could not locate. Since it runs fine in local mode I do not expect any problems with the xml file itself. Has anyone spotted such problems as well or has an idea what could go wrong?
Many thanks in advance!
Cheers,
Marcus