From 9e8ac5ae27cd67048bb1f85aece0dadc5fa3a517 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 20 Aug 2019 19:46:53 -0700
Subject: [PATCH] chore(runtime/lean): style

---
 src/runtime/lean.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/lean.h b/src/runtime/lean.h
index 89eac9cbe1..8713e27386 100644
--- a/src/runtime/lean.h
+++ b/src/runtime/lean.h
@@ -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>