diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 20:03:13 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 20:03:13 -0700 |
commit | c5befad5181e38e29aeeefb27f0e0d93717946f4 (patch) | |
tree | d671ba96cb37689b5704c1ee154c7c32eadff05a /src | |
parent | c30819cb058b854339858a77eaa69cd2e53858e0 (diff) | |
download | abc-c5befad5181e38e29aeeefb27f0e0d93717946f4.tar.gz abc-c5befad5181e38e29aeeefb27f0e0d93717946f4.tar.bz2 abc-c5befad5181e38e29aeeefb27f0e0d93717946f4.zip |
Cosmetic changes after incorporating new code of 'fxch'.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/pla/plaCom.c | 2 | ||||
-rw-r--r-- | src/opt/fxch/FxchSCHashTable.c | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/pla/plaCom.c b/src/base/pla/plaCom.c index 9060f371..0c2c60f6 100644 --- a/src/base/pla/plaCom.c +++ b/src/base/pla/plaCom.c @@ -451,7 +451,7 @@ usage: ******************************************************************************/ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { - Pla_Man_t * p = Pla_AbcGetMan(pAbc); +// Pla_Man_t * p = Pla_AbcGetMan(pAbc); int c, nVars = 4, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "Nvh" ) ) != EOF ) diff --git a/src/opt/fxch/FxchSCHashTable.c b/src/opt/fxch/FxchSCHashTable.c index b2708337..53205b5e 100644 --- a/src/opt/fxch/FxchSCHashTable.c +++ b/src/opt/fxch/FxchSCHashTable.c @@ -19,10 +19,10 @@ ABC_NAMESPACE_IMPL_START -#ifdef _WIN32 +//#ifdef _WIN32 typedef unsigned int uint32_t; typedef unsigned char uint8_t; -#endif +//#endif //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |