xml_binaries → goto-programs Relation

File in goto-cc/xml_binaries	Includes file in goto-programs
read_goto_object.h	goto_functions.h
xml_goto_function.h	goto_functions.h
xml_goto_function_hashing.h	goto_functions.h
xml_goto_program.h	goto_program.h
xml_goto_program_hashing.h	goto_program.h