From c1fa07db4d44960e999e58788c01506faca774a7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Mar 2014 19:22:23 -0700
Subject: [PATCH] Compiler warning.
---
src/sat/bmc/bmcBmc3.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 707c107..14371d6 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);
}
////////////////////////////////////////////////////////////////////////
--
libgit2 0.26.0