diff options
author | Baruch Sterin <baruchs@gmail.com> | 2015-10-16 14:02:30 -0700 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2015-10-16 14:02:30 -0700 |
commit | 8810ef12da3f56523a95863d6583f09531dfe8de (patch) | |
tree | 934ad43bcf6a8fac9f1effeee34963f443896056 /src/base/wlc/wlcReadSmt.c | |
parent | 8268553369175ea767e05fc02ecc75f7065d7b87 (diff) | |
download | abc-8810ef12da3f56523a95863d6583f09531dfe8de.tar.gz abc-8810ef12da3f56523a95863d6583f09531dfe8de.tar.bz2 abc-8810ef12da3f56523a95863d6583f09531dfe8de.zip |
Fix C++ compilation errors
Diffstat (limited to 'src/base/wlc/wlcReadSmt.c')
-rw-r--r-- | src/base/wlc/wlcReadSmt.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index e7ee4d16..2c158a48 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -91,9 +91,9 @@ static inline char * Smt_GetTypeName( Smt_LineType_t Type ) } static inline void Smt_AddTypes( Abc_Nam_t * p ) { - Smt_LineType_t Type; + int Type; for ( Type = 1; Type < SMT_PRS_END; Type++ ) - Abc_NamStrFindOrAdd( p, Smt_GetTypeName(Type), NULL ); + Abc_NamStrFindOrAdd( p, Smt_GetTypeName((Smt_LineType_t)Type), NULL ); assert( Abc_NamObjNumMax(p) == SMT_PRS_END ); } @@ -911,4 +911,3 @@ Wlc_Ntk_t * Wlc_ReadSmt( char * pFileName ) ABC_NAMESPACE_IMPL_END - |