diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-08 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-08 08:01:00 -0700 |
commit | df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b (patch) | |
tree | d320da2793b6d667ec661827c6efc0a9dd86504d /src/map/mio | |
parent | e3e2918eb8a4750b9ce51de821ea6b58941fe65c (diff) | |
download | abc-df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b.tar.gz abc-df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b.tar.bz2 abc-df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b.zip |
Version abc90408
Diffstat (limited to 'src/map/mio')
-rw-r--r-- | src/map/mio/mioFunc.c | 2 | ||||
-rw-r--r-- | src/map/mio/mioUtils.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/map/mio/mioFunc.c b/src/map/mio/mioFunc.c index a06151f0..05fe245d 100644 --- a/src/map/mio/mioFunc.c +++ b/src/map/mio/mioFunc.c @@ -173,7 +173,7 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate ) { if ( pPinNames[i] && strcmp( pPinNames[i], pPin->pName ) == 0 ) { - // ABC_FREE pPinNames[i] because it is already available as pPin->pName + // free pPinNames[i] because it is already available as pPin->pName // setting pPinNames[i] to NULL is useful to make sure that // this name is not assigned to two pins in the list ABC_FREE( pPinNames[i] ); diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index 3f42d2bb..376a0bed 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -47,9 +47,9 @@ void Mio_LibraryDelete( Mio_Library_t * pLib ) Mio_Gate_t * pGate, * pGate2; if ( pLib == NULL ) return; - // ABC_FREE the bindings of nodes to gates from this library for all networks + // free the bindings of nodes to gates from this library for all networks Abc_FrameUnmapAllNetworks( Abc_FrameGetGlobalFrame() ); - // ABC_FREE the library + // free the library ABC_FREE( pLib->pName ); Mio_LibraryForEachGateSafe( pLib, pGate, pGate2 ) Mio_GateDelete( pGate ); |