Searched refs:Gia_FileFixName (Results 1 – 1 of 1) sorted by relevance
49 void Gia_FileFixName( char * pFileName ) in Gia_FileFixName() function892 Gia_FileFixName( pFileName ); in Gia_AigerRead()