00001 #ifndef CHECK_NETLIST_H 00002 #define CHECK_NETLIST_H 00003 00004 void check_netlist(); 00005 00006 #endif 00007