Skip to content

A
abc
Commit 05c8df33 by Alan Mishchenko
Options

Compiler warning.

parent 6502aa82
Showing with 0 additions and 1 deletions
src/opt/sfm/sfmCnf.c
...@@ -45,7 +45,6 @@ ABC_NAMESPACE_IMPL_START ...@@ -45,7 +45,6 @@ ABC_NAMESPACE_IMPL_START
***********************************************************************/ ***********************************************************************/
int Sfm_TruthToCnf( word Truth, int nVars, Vec_Int_t * vCover, Vec_Str_t * vCnf ) int Sfm_TruthToCnf( word Truth, int nVars, Vec_Int_t * vCover, Vec_Str_t * vCnf )
{ {
int nCubes = 0;
Vec_StrClear( vCnf ); Vec_StrClear( vCnf );
if ( Truth == 0 || ~Truth == 0 ) if ( Truth == 0 || ~Truth == 0 )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment