Fix the build.

This commit is contained in:
Alan Mishchenko 2017-10-11 18:12:20 +07:00
parent 711ea3dfec
commit 222d7c7a92
1 changed files with 0 additions and 1 deletions

View File

@ -12625,7 +12625,6 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
// Cba_PrsReadBlifTest();
}
// Abc_NtkComputePaths( Abc_FrameReadNtk(pAbc) );
Gia_TruthTest();
return 0;
usage:
Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" );