chore: fix tests

leanprover · Jun 19, 2024 · de26906 · de26906
1 parent e8f768f
commit de26906
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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
@@ -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}