aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/read_conf.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-12-11 22:04:40 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-12-12 14:19:48 +0100
commit39f39919fb4749787393e95503f9814912265a73 (patch)
tree57745ab257e50f9ef4d6924c3c77d51fd8fb4d4d /lib/configuration/read_conf.ml
parent5a558038874765f20b9dc1bcb1890600e2a2065d (diff)
Review the consistency request
Diffstat (limited to 'lib/configuration/read_conf.ml')
-rw-r--r--lib/configuration/read_conf.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/configuration/read_conf.ml b/lib/configuration/read_conf.ml
index 8d467a5..952c43c 100644
--- a/lib/configuration/read_conf.ml
+++ b/lib/configuration/read_conf.ml
@@ -161,7 +161,7 @@ module Make (S : Decoders.Decode.S) = struct
in
S.succeed
- Syntax.
+ Syntax.Extern.
{
intern_key;
extern_key;