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

chore(runtime/lean): style

Browse source
This commit is contained in:
Leonardo de Moura 2019-08-16 21:01:14 -07:00
parent 4429aac0b3
commit 57fd302f84
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/lean.h
View file

@ -34,7 +34,7 @@ extern "C" {
#define LEAN_ALWAYS_INLINE
#endif
#define LEAN_BYTE(Var, Index) *(((uint8_t*)&Var)+Index)
#define LEAN_BYTE(Var, Index) *(((uint8_t*)&Var)+Index)
#define LeanMaxCtorTag 245
#define LeanClosure 246