diff options
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; |