diff options
Diffstat (limited to 'src/opt/dau')
| -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 e0ce4ac4..4a522d92 100644 --- a/src/opt/dau/dauTree.c +++ b/src/opt/dau/dauTree.c @@ -981,7 +981,7 @@ Dss_Man_t * Dss_ManAlloc( int nVars, int nNonDecLimit ) p->vCopies = Vec_IntAlloc( 32 ); p->pTtElems = Dss_ManTtElems(); p->pMemEnts = Mem_FlexStart(); - Dss_ManCacheAlloc( p ); +// Dss_ManCacheAlloc( p ); return p; } void Dss_ManFree( Dss_Man_t * p ) |