luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Cosmetic changes after incorporating new code of 'fxch'.

This commit is contained in:
Alan Mishchenko 2016-05-11 20:03:13 -07:00
parent c30819cb05
commit c5befad518
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/pla/plaCom.c
View File

@ -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 )

4
src/opt/fxch/FxchSCHashTable.c
View File

@ -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 ///