diff options
Diffstat (limited to 'src/aig/fra/fraBmc.c')
-rw-r--r-- | src/aig/fra/fraBmc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fraBmc.c b/src/aig/fra/fraBmc.c index 689d7d67..7b08d74d 100644 --- a/src/aig/fra/fraBmc.c +++ b/src/aig/fra/fraBmc.c @@ -360,7 +360,7 @@ void Fra_BmcPerform( Fra_Man_t * p, int nPref, int nDepth ) printf( "Imp = %5d. ", Vec_IntSize(p->pCla->vImps) ); printf( "\n" ); } - // ABC_FREE the BMC manager + // free the BMC manager Fra_BmcStop( p->pBmc ); p->pBmc = NULL; } |