Updates to delay optimization project.

src/opt/sbd/sbdCore.c

@@ -366,8 +366,8 @@ void Sbd_ManUpdateOrder( Sbd_Man_t * p, int Pivot )
         assert( Vec_IntEntry(p->vLutLevs, Vec_IntEntry(p->vWinObjs, Node)) == LevelMax - 2 );
     Vec_IntForEachEntryStop( p->vDivVars, Node, i, p->DivCutoff )
         assert( Vec_IntEntry(p->vLutLevs, Vec_IntEntry(p->vWinObjs, Node)) < LevelMax - 2 );
-    Vec_IntFill( p->vDivValues, Vec_IntSize(p->vDivVars), 0 );
 */
+    Vec_IntFill( p->vDivValues, Vec_IntSize(p->vDivVars), 0 );
     //printf( "%d ", Vec_IntSize(p->vDivVars) );
 //    printf( "Node %4d :  Win = %5d.   Divs = %5d.    D1 = %5d.  D2 = %5d.\n",  
 //        Pivot, Vec_IntSize(p->vWinObjs), Vec_IntSize(p->vDivVars), Vec_IntSize(p->vDivVars)-p->DivCutoff, p->DivCutoff );