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 <sean@xobs.io>
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
aig | Loading commit data... | |
base | Loading commit data... | |
bdd | Loading commit data... | |
bool | Loading commit data... | |
map | Loading commit data... | |
misc | Loading commit data... | |
opt | Loading commit data... | |
phys/place | Loading commit data... | |
proof | Loading commit data... | |
sat | Loading commit data... | |
demo.c | Loading commit data... | |
generic.c | Loading commit data... | |
generic.h | Loading commit data... | |
starter.c | Loading commit data... | |
template.c | Loading commit data... |