diff options
| author | Sean Cross <sean@xobs.io> | 2023-02-15 22:58:24 +0800 |
|---|---|---|
| committer | Sean Cross <sean@xobs.io> | 2023-02-15 22:58:24 +0800 |
| commit | 3f9b46591c7134bf546c14e90a29c643b8189c6e (patch) | |
| tree | 0885b31d6ee3f118a490b2a5864a9a7ac52aa6c9 /src/sat/glucose2/System.h | |
| parent | a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d (diff) | |
| download | abc-3f9b46591c7134bf546c14e90a29c643b8189c6e.tar.gz abc-3f9b46591c7134bf546c14e90a29c643b8189c6e.tar.bz2 abc-3f9b46591c7134bf546c14e90a29c643b8189c6e.zip | |
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 <sean@xobs.io>
Diffstat (limited to 'src/sat/glucose2/System.h')
0 files changed, 0 insertions, 0 deletions