From 40a0465ccabc85f6ba60d790bf01d2b680ba087e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 6 Feb 2018 10:38:30 -0800 Subject: [PATCH] chore(library/tactic/simp_lemmas): fix typo --- src/library/tactic/simp_lemmas.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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);