From 3f9b46591c7134bf546c14e90a29c643b8189c6e Mon Sep 17 00:00:00 2001 From: Sean Cross Date: Wed, 15 Feb 2023 22:58:24 +0800 Subject: casts: add casts for unsigned -> signed int When compiling on Darwin ARM64 hardware using the Conda clang compiler, compilation fails due to these casts going from `unsigned` to `int`. In these cases, a cast appears to be the correct approach. Add a cast to make the compiler happy. Signed-off-by: Sean Cross --- src/aig/gia/giaIso3.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig') diff --git a/src/aig/gia/giaIso3.c b/src/aig/gia/giaIso3.c index 8bea4bbf..bcd73c36 100644 --- a/src/aig/gia/giaIso3.c +++ b/src/aig/gia/giaIso3.c @@ -177,7 +177,7 @@ Vec_Wec_t * Gia_Iso4Gia( Gia_Man_t * p ) Vec_WecForEachLevel( vLevs, vLevel, l ) { Gia_Obj_t * pObj; int i; - int RandC[2] = { Abc_Random(0), Abc_Random(0) }; + int RandC[2] = { (int)Abc_Random(0), (int)Abc_Random(0) }; if ( l == 0 ) { Gia_ManForEachObjVec( vLevel, p, pObj, i ) -- cgit v1.2.3