diff --git a/tests/compiler/t2.lean b/tests/compiler/t2.lean
index abaf4454bb..5ed1a36d9e 100644
--- a/tests/compiler/t2.lean
+++ b/tests/compiler/t2.lean
@@ -78,7 +78,7 @@ instance : has_to_string Expr :=
 
 def nest_aux (s : nat) (f : nat → Expr → io Expr) : nat → Expr → io Expr
 | 0       x := pure x
-| m@(n+1) x := (timeit "step: " $ f (s - m) x) >>= nest_aux n
+| m@(n+1) x := f (s - m) x >>= nest_aux n
 
 def nest (f : nat → Expr → io Expr) (n : nat) (e : Expr) : io Expr :=
 nest_aux n f n e
diff --git a/tests/compiler/t2.lean.expected.out b/tests/compiler/t2.lean.expected.out
index 38e35385b8..893b0502bb 100644
--- a/tests/compiler/t2.lean.expected.out
+++ b/tests/compiler/t2.lean.expected.out
@@ -1,18 +1,9 @@
 1 count: 6
-step:  0.0313ms
 2 count: 22
-step:  0.0137ms
 3 count: 90
-step:  0.0109ms
 4 count: 420
-step:  0.0442ms
 5 count: 2202
-step:  0.177ms
 6 count: 12886
-step:  0.945ms
 7 count: 83648
-step:  5.1ms
 8 count: 598592
-step:  38ms
 9 count: 4697200
-step:  289ms