diff options
Diffstat (limited to 'clib/heap.ml')
| -rw-r--r-- | clib/heap.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clib/heap.ml b/clib/heap.ml index daade01cb7..361f7945a4 100644 --- a/clib/heap.ml +++ b/clib/heap.ml @@ -129,8 +129,8 @@ module Functional(X : Ordered) = struct let rec fold f h x0 = match h with | Leaf -> - x0 + x0 | Node (l, x, r) -> - fold f l (fold f r (f x x0)) + fold f l (fold f r (f x x0)) end |