From 769e3a9082c77ea0aaf886d74d295491278e9098 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 28 Feb 2021 16:38:04 -0800
Subject: [PATCH] chore: fix test

---
 tests/lean/ppite.lean.expected.out | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/tests/lean/ppite.lean.expected.out b/tests/lean/ppite.lean.expected.out
index f89b00dbb4..f15d4dfe23 100644
--- a/tests/lean/ppite.lean.expected.out
+++ b/tests/lean/ppite.lean.expected.out
@@ -1,7 +1,7 @@
 def f : List Nat → IO Unit :=
 fun (xs : List Nat) =>
-  List.forM
-    (fun (x : Nat) =>
+  List.forM xs
+    fun (x : Nat) =>
       if x == 0 = true then
         do 
           IO.println "foo"
@@ -14,7 +14,6 @@ fun (xs : List Nat) =>
         else
           do 
             IO.println x 
-            IO.println "odd")
-    xs
+            IO.println "odd"
 if true = true then 1 else 0 : Nat
 if h : true = true then 1 else 0 : Nat