Skip to content

A
abc
Commit c1fa07db by Alan Mishchenko
Options

Compiler warning.

parent 83cd20d6
Showing with 1 additions and 1 deletions
src/sat/bmc/bmcBmc3.c
...@@ -73,7 +73,7 @@ void Gia_ManReportProgress( FILE * pFile, int prop_no, int depth ) ...@@ -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 ); extern int Gia_ManToBridgeProgress( FILE * pFile, int Size, unsigned char * pBuffer );
char buf[100]; char buf[100];
sprintf(buf, "property: safe<%d>\nbug-free-depth: %d\n", prop_no, depth); 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);
} }
//////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment