From 1f01e5480d815a76a53172db2cf25ad41984278c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 18 Oct 2015 18:48:46 -0700
Subject: [PATCH] fix(library/class_instance_resolution): remove
 reset_cache_and_ctx used for debugging purposes

---
 src/library/class_instance_resolution.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/class_instance_resolution.cpp b/src/library/class_instance_resolution.cpp
index e3e8a3a58..ab77e7e31 100644
--- a/src/library/class_instance_resolution.cpp
+++ b/src/library/class_instance_resolution.cpp
@@ -1165,7 +1165,6 @@ struct cienv {
 
     optional<expr> operator()(environment const & env, options const & o, pos_info_provider const * pip, list<expr> const & ctx, expr const & type,
                               expr const & pos_ref) {
-        reset_cache_and_ctx();
         set_env(env);
         set_options(o);
         set_ctx(ctx);