diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-30 18:10:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-30 18:10:43 -0800 |
| commit | b8db17b47862119f2e2d0a9753b7e65b9c76faa8 (patch) | |
| tree | 5454da07fbb97afa53ae8a4da056d168352380ec /src/aig/miniaig | |
| parent | ed155f7f42902fc050651611a2d9ad7ae925fa2d (diff) | |
| download | abc-b8db17b47862119f2e2d0a9753b7e65b9c76faa8.tar.gz abc-b8db17b47862119f2e2d0a9753b7e65b9c76faa8.tar.bz2 abc-b8db17b47862119f2e2d0a9753b7e65b9c76faa8.zip | |
Compiler warning.
Diffstat (limited to 'src/aig/miniaig')
| -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"; |