diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-18 19:22:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-18 19:22:23 -0700 |
| commit | c1fa07db4d44960e999e58788c01506faca774a7 (patch) | |
| tree | 8a05246a956e35b998a80ffda9fc1f1ed4f869f2 /src/sat/bmc/bmcBmc3.c | |
| parent | 83cd20d647e2f75edd97390254da0319e664373a (diff) | |
| download | abc-c1fa07db4d44960e999e58788c01506faca774a7.tar.gz abc-c1fa07db4d44960e999e58788c01506faca774a7.tar.bz2 abc-c1fa07db4d44960e999e58788c01506faca774a7.zip | |
Compiler warning.
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
| -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); } //////////////////////////////////////////////////////////////////////// |