[The Lean side](https://github.com/leanprover/lean4/blob/9cc41cbe25ed3b74c160f09b6dca5bc09be3ce34/src/Lean/Environment.lean#L315) ``` @[export lean_kernel_diag_is_enabled] def Diagnostics.isEnabled (d : Diagnostics) : Bool := d.enabled ``` [C++ side](https://github.com/leanprover/lean4/blob/9cc41cbe25ed3b74c160f09b6dca5bc09be3ce34/src/kernel/environment.cpp#L28) `extern "C" uint8* lean_kernel_diag_is_enabled(object*); // ← one character wrong, return uint8* should be uint8 `
The Lean side
C++ side
extern "C" uint8* lean_kernel_diag_is_enabled(object*); // ← one character wrong, return uint8* should be uint8