C++ compiler errors.

af6442a3 · Alan Mishchenko · 744d35d0 · af6442a3
Commit af6442a3 authored May 04, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/int/intMan.c
+1 -1

No files found.
--- 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 );