From 425aba9aa950bf1b0202fd31c962885a4a87f9fe Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 25 Feb 2015 10:53:38 -0800 Subject: [PATCH] feat(library/pp_options): reduce default limits in the pretty printer The goal is to avoid problems like the one described in issue #428 --- src/library/pp_options.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/library/pp_options.cpp b/src/library/pp_options.cpp index 25020cc10..b7a4fe41c 100644 --- a/src/library/pp_options.cpp +++ b/src/library/pp_options.cpp @@ -8,11 +8,11 @@ Author: Leonardo de Moura #include "library/pp_options.h" #ifndef LEAN_DEFAULT_PP_MAX_DEPTH -#define LEAN_DEFAULT_PP_MAX_DEPTH 1000000 +#define LEAN_DEFAULT_PP_MAX_DEPTH 100 #endif #ifndef LEAN_DEFAULT_PP_MAX_STEPS -#define LEAN_DEFAULT_PP_MAX_STEPS 10000000 +#define LEAN_DEFAULT_PP_MAX_STEPS 500 #endif #ifndef LEAN_DEFAULT_PP_NOTATION