summaryrefslogtreecommitdiffstats
path: root/src/opt
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-03-31 23:14:12 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-03-31 23:14:12 -0700
commit2c275b8c7156e22f317edc81fe8ab3cbb82e0a76 (patch)
treeffc3aadc3599760718268202769a6004bbc4209e /src/opt
parent2650f945986192f78af049fc8c11e4be0b327f8b (diff)
downloadabc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.tar.gz
abc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.tar.bz2
abc-2c275b8c7156e22f317edc81fe8ab3cbb82e0a76.zip
Compiler warnings.
Diffstat (limited to 'src/opt')
-rw-r--r--src/opt/dau/dauTree.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauTree.c b/src/opt/dau/dauTree.c
index 3e465632..dd62642b 100644
--- a/src/opt/dau/dauTree.c
+++ b/src/opt/dau/dauTree.c
@@ -1693,7 +1693,7 @@ Dss_Ent_t * Dss_ManSharedMapDerive( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str
int Mpm_FuncCompute( Dss_Man_t * p, int iDsd0, int iDsd1, Vec_Str_t * vShared, int * pPerm, int * pnLeaves )
{
int fVerbose = 0;
- int fCheck = 0;
+// int fCheck = 0;
Dss_Ent_t * pEnt, ** ppSpot;
Dss_Fun_t * pFun;
int iDsd[2] = { iDsd0, iDsd1 };