From 9ffe1e87bb9ed5cec0eacecc43282e01e8d32829 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Mon, 16 Jan 2017 14:44:15 +0700 Subject: Use the new Util.substitute_default in Vyconf_config. --- src/vyconf_config.ml | 4 +--- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3