diff options
Diffstat (limited to 'src/bool/kit/kitSop.c')
| -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 [] |