From f302e6f6ef1cfe7249f17642678c1620b5b8f988 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Tue, 4 Jul 2017 09:35:42 +0200
Subject: Small fixes for C++ compilers

---
 src/aig/gia/giaIf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 0f656b03..662338f0 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1953,7 +1953,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan )
     {
         FILE * pFile; int status;
         char * pStr, Buffer[1000] = {0};
-        char * pNameGen = pIfMan->pName? Extra_FileNameGeneric( pIfMan->pName ) : "nameless_";
+        const char * pNameGen = pIfMan->pName? Extra_FileNameGeneric( pIfMan->pName ) : "nameless_";
         sprintf( Buffer, "%s_configs.txt", pNameGen );
         ABC_FREE( pNameGen );
         pFile = fopen( Buffer, "wb" );
-- 
cgit v1.2.3