goto2c → goto-programs Relation

File in src/goto2c	Includes file in src/goto-programs
goto2c.h	goto_functions.h
goto2c.h	goto_program.h