diff options
Diffstat (limited to 'src/aig/miniaig')
| -rw-r--r-- | src/aig/miniaig/abcOper.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/miniaig/abcOper.h b/src/aig/miniaig/abcOper.h index d5537aab..2fd7ab24 100644 --- a/src/aig/miniaig/abcOper.h +++ b/src/aig/miniaig/abcOper.h @@ -226,6 +226,7 @@ static inline const char * Abc_OperName( int Type ) if ( Type == ABC_OPER_CONST ) return "const"; if ( Type == ABC_OPER_TABLE ) return "table"; + if ( Type == ABC_OPER_LUT ) return "lut"; if ( Type == ABC_OPER_LAST ) return NULL; assert( 0 ); return NULL; |