From be6a484a997a8477d4c3b03c17f798c1b0061bf1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Dec 2006 08:01:00 -0800 Subject: Version abc61216 --- src/base/io/ioRead.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base/io/ioRead.c') diff --git a/src/base/io/ioRead.c b/src/base/io/ioRead.c index 33f23796..36619a19 100644 --- a/src/base/io/ioRead.c +++ b/src/base/io/ioRead.c @@ -60,6 +60,8 @@ Abc_Ntk_t * Io_Read( char * pFileName, int fCheck ) pNtk = Io_ReadEqn( pFileName, fCheck ); else if ( Extra_FileNameCheckExtension( pFileName, "baf" ) ) return Io_ReadBaf( pFileName, fCheck ); + else if ( Extra_FileNameCheckExtension( pFileName, "aig" ) ) + return Io_ReadAiger( pFileName, fCheck ); else { fprintf( stderr, "Unknown file format\n" ); -- cgit v1.2.3