max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: try to fix compilation error at CI

Browse source
This commit is contained in:
Leonardo de Moura 2021-07-20 09:14:50 -07:00
parent 286136b3c7
commit 10122ba38b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/runtime/object.cpp
View file

@ -74,7 +74,7 @@ extern "C" void lean_inc_ref_cold(lean_object * o) {
}
extern "C" void lean_inc_ref_n_cold(lean_object * o, unsigned n) {
std::atomic_fetch_sub_explicit(lean_get_rc_mt_addr(o), n, std::memory_order_relaxed);
std::atomic_fetch_sub_explicit(lean_get_rc_mt_addr(o), (int)n, std::memory_order_relaxed);
}
extern "C" size_t lean_object_byte_size(lean_object * o) {