diff --git a/tests/compiler/phashmap.lean b/tests/compiler/phashmap.lean index 79dd439b3133..8d7e4904c087 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 622f1b9b0c0d..cc14f033802f 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}