From 1437ee959930291ede5e07b11cd003704ebb4e2e Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 16 Feb 2017 09:52:36 +0100
Subject: [PATCH] fix(kernel/type_checker): disable expression caching in
 asynchronous proof checking

---
 src/kernel/type_checker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/type_checker.cpp b/src/kernel/type_checker.cpp
index b2b9323266..4312fcc9a2 100644
--- a/src/kernel/type_checker.cpp
+++ b/src/kernel/type_checker.cpp
@@ -760,6 +760,7 @@ public:
     }
 
     expr execute() override {
+        scoped_expr_caching disable(false);
         bool memoize = true;
         bool trusted_only = m_decl.is_trusted();
         type_checker checker(m_env, memoize, trusted_only);