From af6442a3ed822b7131f3c1937126cd6454736eb5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 4 May 2013 20:34:25 -0700
Subject: C++ compiler errors.

---
 src/proof/int/intMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof')

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 );
-- 
cgit v1.2.3