diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-18 08:01:00 -0800 |
commit | c0ef1f469a3204adbd26edec0b9d3af56532d794 (patch) | |
tree | f9c957991a7fa2a50198ce0b97a215f2ada97f1b /src/bdd | |
parent | 9e073ed8506c086d6e827f5588d1ee56c57703da (diff) | |
download | abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.gz abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.tar.bz2 abc-c0ef1f469a3204adbd26edec0b9d3af56532d794.zip |
Version abc60118
Diffstat (limited to 'src/bdd')
-rw-r--r-- | src/bdd/dsd/dsdCheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/dsd/dsdCheck.c b/src/bdd/dsd/dsdCheck.c index 865cd830..58b824d2 100644 --- a/src/bdd/dsd/dsdCheck.c +++ b/src/bdd/dsd/dsdCheck.c @@ -82,7 +82,7 @@ void Dsd_CheckCacheAllocate( int nEntries ) /**Function******************************************************************** - Synopsis [Delocates the local cache.] + Synopsis [Deallocates the local cache.] Description [] |