diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2017-07-04 09:35:42 +0200 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-07-04 09:35:42 +0200 |
commit | f302e6f6ef1cfe7249f17642678c1620b5b8f988 (patch) | |
tree | d6c95a702ceeaa7ae844c639810a4ba45ecc890e /src/aig/gia | |
parent | bf6a053c648576c1e5493f2d5390eb78b2e3df1c (diff) | |
download | abc-f302e6f6ef1cfe7249f17642678c1620b5b8f988.tar.gz abc-f302e6f6ef1cfe7249f17642678c1620b5b8f988.tar.bz2 abc-f302e6f6ef1cfe7249f17642678c1620b5b8f988.zip |
Small fixes for C++ compilers
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 1 insertions, 1 deletions
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" ); |