goto-cc → goto-programs Relation

File in src/goto-cc	Includes file in src/goto-programs
compile.cpp	name_mangler.h
compile.cpp	read_goto_binary.h
compile.cpp	write_goto_binary.h
linker_script_merge.cpp	goto_model.h
linker_script_merge.cpp	read_goto_binary.h