From 43efc11f368249f372d2ec1b7d3a5bdf56bcdd39 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 Nov 2015 15:46:56 -0800
Subject: [PATCH] feat(library/blast/blast): automatically clear
 tmp_type_context at recycling time

---
 src/library/blast/blast.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/library/blast/blast.cpp b/src/library/blast/blast.cpp
index f4da6f99cd..a097410d94 100644
--- a/src/library/blast/blast.cpp
+++ b/src/library/blast/blast.cpp
@@ -443,6 +443,8 @@ public:
     tmp_type_context * mk_tmp_type_context();
 
     void recycle_tmp_type_context(tmp_type_context * ctx) {
+        lean_assert(ctx);
+        ctx->clear();
         m_tmp_ctx_pool.push_back(ctx);
     }
 };