diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-04 22:24:57 +0000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-04 22:24:57 +0000 |
| commit | 0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513 (patch) | |
| tree | 258a472b144779aaeda90a03e3fa7130db4cca5b /src/aig/gia | |
| parent | 859e769f22195ba971de037c883c0d8552459fe7 (diff) | |
| parent | fcf82795cdb43c2148f35a671e80325dc25bb2a0 (diff) | |
| download | abc-0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513.tar.gz abc-0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513.tar.bz2 abc-0b7dcbbcfbd1bb9481ee1ecc340d634e2d2ab513.zip | |
Merged in boschmitt/abc (pull request #77)
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 0e4686d8..d45fcb17 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" ); |