From 01339a93a381c340c20d8cbaaf350cf87231465d Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 16 Sep 2013 19:12:12 -0700
Subject: [PATCH] Fix cpplint warning in util/safe_arith.cpp

---
 src/util/safe_arith.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/safe_arith.cpp b/src/util/safe_arith.cpp
index bd2dc998f..bd3b5e291 100644
--- a/src/util/safe_arith.cpp
+++ b/src/util/safe_arith.cpp
@@ -9,7 +9,7 @@ Author: Leonardo de Moura
 
 namespace lean {
 void check_int_overflow(long long n) {
-    static_assert(sizeof(long long) > sizeof(int),
+    static_assert(sizeof(n) > sizeof(int), // NOLINT
                   "sizeof(long long) is not bigger than sizeof(int).");
     if (n < std::numeric_limits<int>::min())
         throw exception("integer underflow");