diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:54:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:54:11 -0700 |
| commit | a762c695d7c0d953d644c0c77a2948d378d0d624 (patch) | |
| tree | cd4fc1dc5462af045e0a87ba472de15fb7e00f1f /src/bool | |
| parent | 7f700af6e2fff06e2cf855b4a3845eadcf66086b (diff) | |
| download | abc-a762c695d7c0d953d644c0c77a2948d378d0d624.tar.gz abc-a762c695d7c0d953d644c0c77a2948d378d0d624.tar.bz2 abc-a762c695d7c0d953d644c0c77a2948d378d0d624.zip | |
New fast extract.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/kit/kitSop.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bool/kit/kitSop.c b/src/bool/kit/kitSop.c index 21ea69b8..f6e33496 100644 --- a/src/bool/kit/kitSop.c +++ b/src/bool/kit/kitSop.c @@ -299,7 +299,7 @@ static inline unsigned Kit_SopCommonCube( Kit_Sop_t * cSop ) /**Function************************************************************* - Synopsis [Makes the cover cube-ABC_FREE.] + Synopsis [Makes the cover cube-free.] Description [] @@ -322,7 +322,7 @@ void Kit_SopMakeCubeFree( Kit_Sop_t * cSop ) /**Function************************************************************* - Synopsis [Checks if the cover is cube-ABC_FREE.] + Synopsis [Checks if the cover is cube-free.] Description [] |