diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2024-12-11 22:04:40 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2024-12-12 14:19:48 +0100 |
commit | 39f39919fb4749787393e95503f9814912265a73 (patch) | |
tree | 57745ab257e50f9ef4d6924c3c77d51fd8fb4d4d /lib/configuration/read_conf.ml | |
parent | 5a558038874765f20b9dc1bcb1890600e2a2065d (diff) |
Review the consistency request
Diffstat (limited to 'lib/configuration/read_conf.ml')
-rw-r--r-- | lib/configuration/read_conf.ml | 2 |
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; |