diff options
| -rw-r--r-- | src/aig/miniaig/abcOper.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/miniaig/abcOper.h b/src/aig/miniaig/abcOper.h index 6ee043af..d5537aab 100644 --- a/src/aig/miniaig/abcOper.h +++ b/src/aig/miniaig/abcOper.h @@ -157,7 +157,7 @@ typedef enum { // printing operator types -static inline char * Abc_OperName( int Type ) +static inline const char * Abc_OperName( int Type ) { if ( Type == ABC_OPER_NONE ) return NULL; if ( Type == ABC_OPER_PI ) return "pi"; |