From b8db17b47862119f2e2d0a9753b7e65b9c76faa8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2019 18:10:43 -0800
Subject: Compiler warning.

---
 src/aig/miniaig/abcOper.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/miniaig/abcOper.h')

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";     
-- 
cgit v1.2.3