From b902dc3dacb4ee87f5dbdacdc72754d1d8e5b172 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 26 Jul 2019 20:46:17 +0200
Subject: [PATCH] fix(tests/lean/run/inline_fn): pretty-printer segfaults,
 disable for now

---
 tests/lean/run/inline_fn.lean | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/tests/lean/run/inline_fn.lean b/tests/lean/run/inline_fn.lean
index 95252192da..e6636e5aa0 100644
--- a/tests/lean/run/inline_fn.lean
+++ b/tests/lean/run/inline_fn.lean
@@ -5,9 +5,6 @@ def h : Nat → Nat
 | 0     := 10
 | (n+1) := n * h n
 
-set_option pp.all true
-set_option trace.compiler true
-
 def g1 (x : Nat) :=
 inline f x