Merge branch 'master' of https://github.com/rinderknecht/UnionFind

2018-08-19 20:55:16 +02:00 · 2018-08-19 20:55:16 +02:00 · 0f28b98f18
commit 0f28b98f18
parent 8a444b23a9 a8d962dd88
1 changed files with 1 additions and 1 deletions
--- a/Partition3.ml
+++ b/Partition3.ml
@ -47,7 +47,7 @@ module Make (Item: Partition.Item) =
   let get_or_set item (p: partition) =
     try seek item p, p with
       Not_found -> let rec loop = {item; height=0; parent=loop}
-                   in loop, ItemMap.add item loop p
+                    in loop, ItemMap.add item loop p

   let link src dst = src.parent <- dst