summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-03-18 19:22:23 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-03-18 19:22:23 -0700
commitc1fa07db4d44960e999e58788c01506faca774a7 (patch)
tree8a05246a956e35b998a80ffda9fc1f1ed4f869f2 /src
parent83cd20d647e2f75edd97390254da0319e664373a (diff)
downloadabc-c1fa07db4d44960e999e58788c01506faca774a7.tar.gz
abc-c1fa07db4d44960e999e58788c01506faca774a7.tar.bz2
abc-c1fa07db4d44960e999e58788c01506faca774a7.zip
Compiler warning.
Diffstat (limited to 'src')
-rw-r--r--src/sat/bmc/bmcBmc3.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 707c1073..14371d60 100644
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -73,7 +73,7 @@ void Gia_ManReportProgress( FILE * pFile, int prop_no, int depth )
extern int Gia_ManToBridgeProgress( FILE * pFile, int Size, unsigned char * pBuffer );
char buf[100];
sprintf(buf, "property: safe<%d>\nbug-free-depth: %d\n", prop_no, depth);
- Gia_ManToBridgeProgress(pFile, strlen(buf), buf);
+ Gia_ManToBridgeProgress(pFile, strlen(buf), (unsigned char *)buf);
}
////////////////////////////////////////////////////////////////////////