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

chore: remove leftover

Browse source
This commit is contained in:
Leonardo de Moura 2021-04-22 20:34:52 -07:00
parent c0da331e02
commit df665bc219
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/runtime/object.cpp
View file

@ -290,10 +290,6 @@ extern "C" lean_obj_res lean_array_set_panic(lean_obj_arg a, lean_obj_arg v) {
// =======================================
// Thunks
static obj_res mk_thunk_3_2(lean_cfun3 fn, obj_arg a1, obj_arg a2) {
return lean_mk_thunk(mk_closure_3_2(fn, a1, a2));
}
extern "C" b_obj_res lean_thunk_get_core(b_obj_arg t) {
object * c = lean_to_thunk(t)->m_closure.exchange(nullptr);
if (c != nullptr) {