diff options
Diffstat (limited to 'src/opt/dau/dauTree.c')
| -rw-r--r-- | src/opt/dau/dauTree.c | 2 |
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 }; |