diff options
Diffstat (limited to 'src/proof')
-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 ); |