diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:11:11 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-25 12:11:11 +0700 |
| commit | 285b6b0bdb07f38695965b281c9010020c75290e (patch) | |
| tree | 915f46ecdf830414550622381795b507813a6d44 /src | |
| parent | e06d80ac105d49c18df3526e4aa0b70cc37a691a (diff) | |
| download | vyconf-285b6b0bdb07f38695965b281c9010020c75290e.tar.gz vyconf-285b6b0bdb07f38695965b281c9010020c75290e.zip | |
Remove square brackets around the path string from Util.string_of_path
They are trivial to add with printf when needed anyway, and this function
is useful for generating commands from a tree.
Diffstat (limited to 'src')
| -rw-r--r-- | src/util.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util.ml b/src/util.ml index f8c3c27..b45f011 100644 --- a/src/util.ml +++ b/src/util.ml @@ -18,5 +18,5 @@ let string_of_path path = | x :: xs' -> aux xs' (Printf.sprintf "%s %s" acc x) in match path with - | [] -> "[]" - | x :: xs -> Printf.sprintf "[%s%s]" x (aux xs "") + | [] -> "" + | x :: xs -> Printf.sprintf "%s%s" x (aux xs "") |