diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-24 21:33:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-24 21:33:45 -0700 |
| commit | 55e7dd16d363e1d69d818942f7e40185b5c78740 (patch) | |
| tree | 6a610fa9d69310131b6afdc5b0229397dc8c2f76 /src/base/wlc | |
| parent | 9e20b3016ddb16993687cffc050c3cee127f677d (diff) | |
| download | abc-55e7dd16d363e1d69d818942f7e40185b5c78740.tar.gz abc-55e7dd16d363e1d69d818942f7e40185b5c78740.tar.bz2 abc-55e7dd16d363e1d69d818942f7e40185b5c78740.zip | |
Suggested fixes to compile with 'gcc -x c++'.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index fff760ec..4e09306c 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -83,7 +83,7 @@ static Smt_Pair_t s_Types[SMT_PRS_END] = }; static inline char * Smt_GetTypeName( Smt_LineType_t Type ) { - Smt_LineType_t i; + int i; for ( i = 1; i < SMT_PRS_END; i++ ) if ( s_Types[i].Type == Type ) return s_Types[i].pName; @@ -91,7 +91,7 @@ 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 ); assert( Abc_NamObjNumMax(p) == SMT_PRS_END ); |