diff options
Diffstat (limited to 'src/value_checker.ml')
| -rw-r--r-- | src/value_checker.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/value_checker.ml b/src/value_checker.ml index dad4596..e7bec15 100644 --- a/src/value_checker.ml +++ b/src/value_checker.ml @@ -16,7 +16,7 @@ let validate_value dir value_constraint value = We should do something about it. *) let validator = F.concat dir v in - let arg = Util.substitute_default c "" in + let arg = BatOption.default "" c in let result = Unix.system (Printf.sprintf "%s %s %s" validator arg value) in match result with | Unix.WEXITED 0 -> true |