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

chore: avoid C++ warning

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-09 17:24:41 +01:00
parent ac5afd6b71
commit 6ca944f453
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/include/lean/lean.h
View file

@ -41,12 +41,14 @@ extern "C" {
#define LEAN_ALWAYS_INLINE
#endif
#ifndef assert
#ifdef NDEBUG
#define assert(expr)
#else
void lean_notify_assert(const char * fileName, int line, const char * condition);
#define assert(expr) { if (LEAN_UNLIKELY(!(expr))) lean_notify_assert(__FILE__, __LINE__, #expr); }
#endif
#endif
#ifdef _WIN32
#define LEAN_EXPORT __declspec(dllexport)