From e0821be1323901cd2938e72b18999464cbddbaeb Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 29 Apr 2019 10:50:10 -0700
Subject: [PATCH] chore(tests/playground/ir): fix test

---
 tests/playground/ir.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/playground/ir.lean b/tests/playground/ir.lean
index 67d755dcca..2674a7ba81 100644
--- a/tests/playground/ir.lean
+++ b/tests/playground/ir.lean
@@ -5,7 +5,7 @@ def tst1 : IO Unit :=
 let fbody : FnBody :=
    FnBody.vdecl `x IRType.uint32 (Expr.lit (LitVal.num 0)) $
    FnBody.ret `x in
-IO.println $ toFormat fbody
+IO.println $ format fbody
 
 def main : IO Unit :=
 tst1