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-20 19:46:53 -07:00
parent 1dc1bcf521
commit 9e8ac5ae27
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

@ -18,7 +18,7 @@ Author: Leonardo de Moura
#ifdef __cplusplus
#include <atomic>
#define _Atomic(t) std::atomic<t>
#define LEAN_USING_STD using namespace std;
#define LEAN_USING_STD using namespace std; /* NOLINT */
extern "C" {
#else
#include <stdatomic.h>