diff options
Diffstat (limited to 'src/aig/llb/llbReach.c')
| -rw-r--r-- | src/aig/llb/llbReach.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llbReach.c b/src/aig/llb/llbReach.c index 7c12a88c..76ee7147 100644 --- a/src/aig/llb/llbReach.c +++ b/src/aig/llb/llbReach.c @@ -575,7 +575,7 @@ int Llb_ManReachability( Llb_Man_t * p, Vec_Int_t * vHints, DdManager ** pddGlo Cudd_RecursiveDeref( p->dd, bConstrNs ); bConstrNs = NULL; if ( bReached == NULL ) return 0; // reachable - assert( bCurrent == NULL ); +// assert( bCurrent == NULL ); if ( bCurrent ) Cudd_RecursiveDeref( p->dd, bCurrent ); // report the stats |