diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 20:34:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 20:34:25 -0700 |
| commit | af6442a3ed822b7131f3c1937126cd6454736eb5 (patch) | |
| tree | 43a52e48325aedbac886c3522a001a8d75bf7901 /src/proof/int | |
| parent | 744d35d0294310a3e9eb5cbd77a24c9b721682c4 (diff) | |
| download | abc-af6442a3ed822b7131f3c1937126cd6454736eb5.tar.gz abc-af6442a3ed822b7131f3c1937126cd6454736eb5.tar.bz2 abc-af6442a3ed822b7131f3c1937126cd6454736eb5.zip | |
C++ compiler errors.
Diffstat (limited to 'src/proof/int')
| -rw-r--r-- | src/proof/int/intMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/int/intMan.c b/src/proof/int/intMan.c index 6dbf6f66..ef5500e7 100644 --- a/src/proof/int/intMan.c +++ b/src/proof/int/intMan.c @@ -103,7 +103,7 @@ void Inter_ManClean( Inter_Man_t * p ) ***********************************************************************/ void Inter_ManInterDump( Inter_Man_t * p, int fProved ) { - char * pFileName = p->pFileName ? p->pFileName : "invar.aig"; + char * pFileName = p->pFileName ? p->pFileName : (char *)"invar.aig"; Aig_Man_t * pMan; pMan = Aig_ManDupArray( p->vInters ); Ioa_WriteAiger( pMan, pFileName, 0, 0 ); |