From 6edda1254972777d31d2c0d34115e6f1fdc560b4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 23 Aug 2013 08:52:52 -0700 Subject: [PATCH] Fix example Signed-off-by: Leonardo de Moura --- examples/deep.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/deep.lean b/examples/deep.lean index aefe0784e..1ca9413ae 100644 --- a/examples/deep.lean +++ b/examples/deep.lean @@ -3,5 +3,5 @@ Definition f2 (f : Int -> Int) (x : Int) : Int := f1 (f1 (f1 (f1 f))) x Definition f3 (f : Int -> Int) (x : Int) : Int := f1 (f2 (f2 f)) x Variable f : Int -> Int. Set pp::width 80. -Set pp::lean::max_depth 2000. +Set lean::pp::max_depth 2000. Eval f3 f 0. \ No newline at end of file