diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-09 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-09 08:01:00 -0700 |
| commit | e8cf8415c5c8c31db650f549e54fd7a3aad48be0 (patch) | |
| tree | 3eee40925efd4d8bd388d283c2a0232053fc90ac /src/opt/lpk/lpkSets.c | |
| parent | 9be1b076934b0410689c857cd71ef7d21a714b5f (diff) | |
| download | abc-e8cf8415c5c8c31db650f549e54fd7a3aad48be0.tar.gz abc-e8cf8415c5c8c31db650f549e54fd7a3aad48be0.tar.bz2 abc-e8cf8415c5c8c31db650f549e54fd7a3aad48be0.zip | |
Version abc70909
Diffstat (limited to 'src/opt/lpk/lpkSets.c')
| -rw-r--r-- | src/opt/lpk/lpkSets.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/lpk/lpkSets.c b/src/opt/lpk/lpkSets.c index d0d56a86..90e46863 100644 --- a/src/opt/lpk/lpkSets.c +++ b/src/opt/lpk/lpkSets.c @@ -140,7 +140,7 @@ unsigned Lpk_ComputeSets( Kit_DsdNtk_t * p, Vec_Int_t * vSets ) SeeAlso [] ***********************************************************************/ -void Lpk_PrintSetOne( int uSupport ) +static void Lpk_PrintSetOne( int uSupport ) { unsigned k; for ( k = 0; k < 16; k++ ) @@ -159,7 +159,7 @@ void Lpk_PrintSetOne( int uSupport ) SeeAlso [] ***********************************************************************/ -void Lpk_PrintSets( Vec_Int_t * vSets ) +static void Lpk_PrintSets( Vec_Int_t * vSets ) { unsigned uSupport; int Number, i; |