From 3ad0871dd42bd34465826c58e58aaf38c343c8a6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 13 Aug 2020 09:11:42 -0700 Subject: [PATCH] chore: increase `class.instance_max_depth` --- src/library/abstract_context_cache.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 {