Skip to content

A
abc
Commit 1e40c5b7 by Niklas Een
Options

Removed warning in Abc_Print

parent 90e95fcb
Showing with 2 additions and 3 deletions
src/misc/util/abc_global.h
......@@ -269,8 +269,8 @@ static inline void Abc_Print( int level, const char * format, ... )
{
extern int Gia_ManToBridgeText( FILE * pFile, int Size, unsigned char * pBuffer );
extern char * vnsprintf(const char* format, va_list args);
unsigned char * tmp = vnsprintf( format, args );
Gia_ManToBridgeText( stdout, strlen(tmp), tmp );
char * tmp = vnsprintf( format, args );
Gia_ManToBridgeText( stdout, strlen(tmp), (unsigned char*)tmp );
free( tmp );
}
else
......@@ -341,4 +341,3 @@ ABC_NAMESPACE_HEADER_END
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
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