diff options
Diffstat (limited to 'src/base/wlc/wlcReadSmt.c')
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 48acd73d..e7ee4d16 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -91,7 +91,7 @@ static inline char * Smt_GetTypeName( Smt_LineType_t Type ) } static inline void Smt_AddTypes( Abc_Nam_t * p ) { - int Type; + Smt_LineType_t Type; for ( Type = 1; Type < SMT_PRS_END; Type++ ) Abc_NamStrFindOrAdd( p, Smt_GetTypeName(Type), NULL ); assert( Abc_NamObjNumMax(p) == SMT_PRS_END ); |