diff options
| -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 /// |