michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(library/pp_options): reduce default limits in the pretty printer

Browse source 
The goal is to avoid problems like the one described in issue #428
This commit is contained in:
Leonardo de Moura 2015-02-25 10:53:38 -08:00
parent 2b1d67f717
commit 425aba9aa9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/pp_options.cpp
View file

@ -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