From de269060d17a581ed87f40378dbec74032633b27 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leomoura@amazon.com>
Date: Wed, 19 Jun 2024 10:57:58 -0700
Subject: [PATCH] chore: fix tests

---
 tests/compiler/phashmap.lean              | 2 --
 tests/compiler/phashmap.lean.expected.out | 2 --
 2 files changed, 4 deletions(-)

diff --git a/tests/compiler/phashmap.lean b/tests/compiler/phashmap.lean
index 79dd439b31..8d7e4904c0 100644
--- a/tests/compiler/phashmap.lean
+++ b/tests/compiler/phashmap.lean
@@ -62,9 +62,7 @@ IO.println m.stats;
 check2 n 0 m;
 let m := delLess 4900 m;
 check2 n 4900 m;
-IO.println m.size;
 IO.println m.stats;
 let m := delLess 4990 m;
 check2 n 4990 m;
-IO.println m.size;
 IO.println m.stats
diff --git a/tests/compiler/phashmap.lean.expected.out b/tests/compiler/phashmap.lean.expected.out
index 622f1b9b0c..cc14f03380 100644
--- a/tests/compiler/phashmap.lean.expected.out
+++ b/tests/compiler/phashmap.lean.expected.out
@@ -1,6 +1,4 @@
 { nodes := 1057, null := 27768, collisions := 0, depth := 3}
 { nodes := 529, null := 13900, collisions := 0, depth := 3}
-50
 { nodes := 17, null := 478, collisions := 0, depth := 2}
-5
 { nodes := 1, null := 27, collisions := 0, depth := 1}