From 8919fa4970dcefd2ff88c6d18d8e4acebd2e7f1b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 23 May 2021 10:31:59 -0700 Subject: [PATCH] #5296 --- src/ast/static_features.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/static_features.cpp b/src/ast/static_features.cpp index 227082e6f..5e43a0273 100644 --- a/src/ast/static_features.cpp +++ b/src/ast/static_features.cpp @@ -104,7 +104,7 @@ void static_features::reset() { m_num_aliens_per_family .reset(); m_num_theories = 0; m_theories .reset(); - m_max_stack_depth = 100; + m_max_stack_depth = 30; flush_cache(); }