aboutsummaryrefslogtreecommitdiffstats
path: root/lib/configuration.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/configuration.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/configuration.ml b/lib/configuration.ml
index 6229ce6..3f66ac0 100644
--- a/lib/configuration.ml
+++ b/lib/configuration.ml
@@ -26,9 +26,11 @@ let insert_section ~expected acc key body =
in
match body with
| [ subtree ] -> Ok (Utilities.StringMap.add key subtree acc)
- | [] -> errorf "Configuration section %s is empty (expected a tagged value)" key
+ | [] ->
+ errorf "Configuration section %s is empty (expected a tagged value)" key
| _ ->
- errorf "Configuration section %s has multiple values (expected exactly one)"
+ errorf
+ "Configuration section %s has multiple values (expected exactly one)"
key
(** [(server ...)] sexp -> section map. Rejects unknown/duplicate keys. *)