From 42c2fef0f213650a6b810cfb59bca0c422156ff9 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Wed, 20 Aug 2014 21:18:23 -0700
Subject: [PATCH] fix(tests/util/sequence.cpp): clang build error

---
 src/tests/util/sequence.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tests/util/sequence.cpp b/src/tests/util/sequence.cpp
index 5af68bd45a..405905965c 100644
--- a/src/tests/util/sequence.cpp
+++ b/src/tests/util/sequence.cpp
@@ -8,7 +8,9 @@ Author: Leonardo de Moura
 #include "util/test.h"
 using namespace lean;
 
+namespace lean {
 template class sequence<int>;
+}
 
 static void tst1() {
     sequence<int> l1;