cprover

xml_binaries → xmllang Relation

File in goto-cc/xml_binariesIncludes file in xmllang
read_goto_object.cppxml_parser.h