diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:44:15 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-16 14:44:15 +0700 |
| commit | 9ffe1e87bb9ed5cec0eacecc43282e01e8d32829 (patch) | |
| tree | bef28c30038824f64e7ae1dd527ced37c4978530 /src | |
| parent | 482321db949bf5b5b6868a3fc8cbeaaa589578e2 (diff) | |
| download | vyconf-9ffe1e87bb9ed5cec0eacecc43282e01e8d32829.tar.gz vyconf-9ffe1e87bb9ed5cec0eacecc43282e01e8d32829.zip | |
Use the new Util.substitute_default in Vyconf_config.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vyconf_config.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/vyconf_config.ml b/src/vyconf_config.ml index fb0be40..6c24ffb 100644 --- a/src/vyconf_config.ml +++ b/src/vyconf_config.ml @@ -47,9 +47,7 @@ let mandatory_field conf table field = let optional_field default conf table field = let value = get_field conf table field in - match value with - | Some value -> value - | None -> default + Util.substitute_default value default let load filename = try |