This commit is contained in:
Alan Mishchenko 2019-05-11 21:13:20 +08:00
commit a103358ae2
1 changed files with 1 additions and 1 deletions

View File

@ -8025,7 +8025,7 @@ int Abc_CommandExact( Abc_Frame_t * pAbc, int argc, char ** argv )
if ( argc == globalUtilOptind ) if ( argc == globalUtilOptind )
goto usage; goto usage;
memset( pTruth, 0, 64 ); memset( pTruth, 0, 64 * sizeof(word) );
while ( globalUtilOptind < argc ) while ( globalUtilOptind < argc )
{ {
if ( nFunc == 16 ) if ( nFunc == 16 )