One bug fix and two small changes.

49caf258 · Alan Mishchenko · 51be0f4c · 49caf258
Commit 49caf258 authored Oct 22, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/base/abci/abc.c
+2 -2

No files found.
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -25382,8 +25382,8 @@ int Abc_CommandAbc9Read( Abc_Frame_t * pAbc, int argc, char ** argv )

    if ( fUseMini )
        pAig = Gia_ManReadMiniAig( FileName );
-    else if ( Extra_FileIsType( FileName, ".v", NULL, NULL ) )
-        Abc3_ReadShowHie( FileName, fSkipStrash );
+//    else if ( Extra_FileIsType( FileName, ".v", NULL, NULL ) )
+//        Abc3_ReadShowHie( FileName, fSkipStrash );
    else 
        pAig = Gia_AigerRead( FileName, fSkipStrash, 0 );
    if ( pAig )