diff --git a/.ocp-indent b/.ocp-indent index a38ac7b..951a5ca 100644 --- a/.ocp-indent +++ b/.ocp-indent @@ -4,7 +4,7 @@ in = 0 with = 0 match_clause = 2 ppx_stritem_ext = 2 -max_indent = 4 +max_indent = 1000 strict_with = never strict_else = always strict_comments = false