diff --git a/src/library/tactic/simp_lemmas.cpp b/src/library/tactic/simp_lemmas.cpp
index 2cc3a6b463..685976a699 100644
--- a/src/library/tactic/simp_lemmas.cpp
+++ b/src/library/tactic/simp_lemmas.cpp
@@ -1199,8 +1199,7 @@ public:
     }
 };
 
-/* CACHE_RESET: YES
-
+/* CACHE_RESET: NO
    Do we still need this cache? Can we use user_attr_cache infrastructure. */
 MK_THREAD_LOCAL_GET_DEF(simp_lemmas_cache, get_cache);