From a8d962dd886a1c15ca5d31e66bf88b4881ab8471 Mon Sep 17 00:00:00 2001
From: Christian Rinderknecht <rinderknecht@free.fr>
Date: Sun, 19 Aug 2018 18:24:01 +0200
Subject: [PATCH] Indentation

---
 Partition3.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Partition3.ml b/Partition3.ml
index d6e2cb4..04324f1 100644
--- 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