From 362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 5 Apr 2019 21:08:46 -1000 Subject: Supporting LUT in NDR and WLC. --- src/aig/miniaig/abcOper.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig') 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; -- cgit v1.2.3