diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:45:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:45:53 -0700 |
| commit | 20518f59d12c8dcb7e0ae9046edd937da7f1f6fe (patch) | |
| tree | ddf1443bd3b3b7c9e96e9e4e68c94468a0eb2dab /src/bool | |
| parent | 1451614c5c6551f8155eae921a51f069e151da9c (diff) | |
| download | abc-20518f59d12c8dcb7e0ae9046edd937da7f1f6fe.tar.gz abc-20518f59d12c8dcb7e0ae9046edd937da7f1f6fe.tar.bz2 abc-20518f59d12c8dcb7e0ae9046edd937da7f1f6fe.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/lucky/luckyInt.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/bool/lucky/luckyInt.h b/src/bool/lucky/luckyInt.h index 70585196..3848069a 100644 --- a/src/bool/lucky/luckyInt.h +++ b/src/bool/lucky/luckyInt.h @@ -40,9 +40,6 @@ typedef unsigned __int64 word; ABC_NAMESPACE_HEADER_START -//typedef unsigned __int64 ABC_UINT64_T; -//typedef ABC_UINT64_T word; - #define bool int #define false 0 @@ -107,7 +104,7 @@ static inline void TimePrint( char* Message ) extern inline int memCompare(word* x, word* y, int nVars); extern inline int Kit_TruthWordNum_64bit( int nVars ); extern Abc_TtStore_t * setTtStore(char * pFileInput); -extern void Abc_TruthStoreFree( Abc_TtStore_t * p ); +extern inline void Abc_TruthStoreFree( Abc_TtStore_t * p ); extern inline void Kit_TruthChangePhase_64bit( word * pInOut, int nVars, int iVar ); extern inline void Kit_TruthNot_64bit(word * pIn, int nVars ); extern inline void Kit_TruthCopy_64bit( word * pOut, word * pIn, int nVars ); |