From 5858c9d5e096d70ad92b326b17ed7e2d2759b770 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 12 Sep 2013 01:39:04 -0700
Subject: [PATCH] Update tests/util/list.cpp to suppress a g++ warning

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

diff --git a/src/tests/util/list.cpp b/src/tests/util/list.cpp
index 0fc938943..e7eaa2fb5 100644
--- a/src/tests/util/list.cpp
+++ b/src/tests/util/list.cpp
@@ -66,7 +66,7 @@ static void tst5() {
         to_buffer(to_list(tmp.begin(), tmp.end()), tmp2);
         lean_assert(tmp2 == tmp);
         list<int> l = to_list(tmp.begin(), tmp.end());
-        lean_assert(n == 0 || car(reverse(l)) == n - 1);
+        lean_assert(n == 0 || car(reverse(l)) == static_cast<int>(n - 1));
         lean_assert(reverse(reverse(l)) == l);
         auto p = split(l);
         list<int> l2 = append(p.first, p.second);