diff --git a/src/library/abstract_context_cache.cpp b/src/library/abstract_context_cache.cpp
index c213ccc224..81f84ac66e 100644
--- a/src/library/abstract_context_cache.cpp
+++ b/src/library/abstract_context_cache.cpp
@@ -20,7 +20,7 @@ Author: Leonardo de Moura
 #endif
 
 #ifndef LEAN_DEFAULT_CLASS_INSTANCE_MAX_DEPTH
-#define LEAN_DEFAULT_CLASS_INSTANCE_MAX_DEPTH 32
+#define LEAN_DEFAULT_CLASS_INSTANCE_MAX_DEPTH 100
 #endif
 
 namespace lean {