diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/bmc/bmcBmc3.c | 2 |
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); } //////////////////////////////////////////////////////////////////////// |