diff --git a/tests/compiler/binomial.lean b/tests/compiler/binomial.lean index 36dd99ff30..6c821b0df3 100644 --- a/tests/compiler/binomial.lean +++ b/tests/compiler/binomial.lean @@ -22,6 +22,6 @@ partial def display : Nat → Heap → IO Unit def main : IO Unit := do -let h := mkHeap 50 100; +let h := mkHeap 20 20; display 0 h; IO.println h.toList.length diff --git a/tests/compiler/binomial.lean.expected.out b/tests/compiler/binomial.lean.expected.out index e9c02dad18..d411bb7c1a 100644 --- a/tests/compiler/binomial.lean.expected.out +++ b/tests/compiler/binomial.lean.expected.out @@ -1 +1 @@ -5000 +400