From bbed4aed507155a702d6ec6ca2a9aba6b4fed871 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 4 Mar 2021 07:54:21 -0800 Subject: [PATCH] chore: remove old code --- src/include/lean/lean.h | 2 -- src/runtime/object.cpp | 11 ----------- 2 files changed, 13 deletions(-) diff --git a/src/include/lean/lean.h b/src/include/lean/lean.h index dd7cc5d228..6af5a9749b 100644 --- a/src/include/lean/lean.h +++ b/src/include/lean/lean.h @@ -299,8 +299,6 @@ __attribute__((noreturn)) void lean_internal_panic(char const * msg); __attribute__((noreturn)) void lean_internal_panic_out_of_memory(); __attribute__((noreturn)) void lean_internal_panic_unreachable(); __attribute__((noreturn)) void lean_internal_panic_rc_overflow(); -__attribute__((noreturn)) void lean_panic_out_of_memory(); -__attribute__((noreturn)) void lean_panic_unreachable(); static inline size_t lean_align(size_t v, size_t a) { return (v / a)*a + a * (v % a != 0); diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp index 4de68a91aa..abdfdd807b 100644 --- a/src/runtime/object.cpp +++ b/src/runtime/object.cpp @@ -41,17 +41,6 @@ extern "C" void lean_internal_panic_rc_overflow() { lean_internal_panic("reference counter overflowed"); } -// TODO: delete after update-stage0 -extern "C" void lean_panic_out_of_memory() { - lean_internal_panic_out_of_memory(); -} - -// TODO: delete after update-stage0 -extern "C" void lean_panic_unreachable() { - lean_internal_panic_unreachable(); -} - - bool g_exit_on_panic = false; extern "C" void lean_set_exit_on_panic(bool flag) {