From 05c8df33f2d27f59ec77c73d21aad6dc81f5836f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 17 Apr 2013 22:23:29 -0700 Subject: Compiler warning. --- src/opt/sfm/sfmCnf.c | 1 - 1 file changed, 1 deletion(-) (limited to 'src/opt') diff --git a/src/opt/sfm/sfmCnf.c b/src/opt/sfm/sfmCnf.c index 77260b9d..6b152524 100644 --- a/src/opt/sfm/sfmCnf.c +++ b/src/opt/sfm/sfmCnf.c @@ -45,7 +45,6 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ int Sfm_TruthToCnf( word Truth, int nVars, Vec_Int_t * vCover, Vec_Str_t * vCnf ) { - int nCubes = 0; Vec_StrClear( vCnf ); if ( Truth == 0 || ~Truth == 0 ) { -- cgit v1.2.3